하나의 프로그램에서 서로 다른 결과가 도출되거나 프로그래머의 기대와는 다르게 전혀 다른 결과값이 나올 수 있다. 따라서 모호성이 허용되는 자연어와는 달리 프로그래밍언어에서는 서로 다른 의미로 해석될 가능성이 없도록 모호성을 제거함으로써 그 의미를 명확하게 할 필요가 있다.
프로그래밍 언어이든, 언어는 의사소통의 수단이라는 의미에서 상대가 쉽게 이해할 수 있도록 표현을 사용하는 것이 바람직하다. 특히 최근의 소프트웨어 생산은 협업을 통해 이루어지는 경우가 많은 만큼, 문법에 오류가 없으면서 동시에 읽기 쉬울 때 소프트웨어 개발에 더 효율적이라고 할 수 있다.
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -
논리형 언어(선언적 언어): 반복이나 선택문 없이 계산의 내용만을 선언하듯 기술(기호논리학)
(5) 언어의 정의
① 구문론
- 언어 구성요소의 외부적인 형태에 관한 것
- 대부분 문맥 무관형 분법으로 정의되고 있다.
- C언어의 if문을 문맥 무관형 문법으로 정의하면 다음과 같음
- 중략 -