Page 21 -

모호성 1

자연 언어는 애매모호함(ambiguity)으로 가득하고, 사람들은 맥락에서 짐작하거나 다른 정보를
사용해 이를 파악한다. 형식 언어는 거의 또는 완전하게 모호함을 제거하는 쪽으로 고안되었 프로그램의 길
으며, 이는 문장이 맥락과 관계없이 정확하게 한 가지 의미만 갖는다는 것을 의미한다.

중복성
모호함을 정리하고 오해를 줄이기 위해 자연 언어는 엄청나게 많은 중복(redundancy)을 허용한
다. 그래서 자연 언어는 종종 장황해진다. 형식 언어는 중복이 적고, 더 간결하다.

리터럴
자연 언어는 관용구와 은유로 가득하다. “1페니가 떨어졌다(The penny dropped)”고 말한다면 아

마도 1페니 동전이 없는 것도 아니고 떨어진 것도 아닐 것이다. 이 관용구는 누군가가 혼란 끝
에 무언가를 이해했다는 뜻으로 쓰인다. 형식 언어는 언어가 말한 것만 있는 그대로(literalness)
의미해야 한다.

우리는 모두 자연 언어를 사용하면서 성장했기 때문에 형식 언어에 적응하는 게 어려울 수도 있다.
형식 언어와 자연 언어 사이의 차이점은 시와 산문의 차이점과 비슷하지만, 이 둘은 더 차이가 난다.

시
단어는 소리와 의미를 위해 사용되고, 단어가 모여 시는 효과나 정서적 반응을 만들어낸다. 모

호성이 보통이지만, 종종 심사숙고해서 만든 것이기도 하다.

산문
단어 그대로의 의미가 더 중요하고, 구조도 더 많은 의미를 제공한다. 산문은 시보다 분석하기
가 용이하지만, 여전히 모호성이 남아 있다.

프로그램
컴퓨터 프로그램의 의미는 명확하고 있는 그대로(literal)이므로 토큰과 구조로 분석해서 전체를
이해할 수 있다.

형식 언어는 자연 언어보다 더 복잡해서 읽을 때도 더 긴 시간이 필요하다. 또한, 구조가 중요하므
로 항상 위에서 아래로, 왼쪽에서 오른쪽으로 읽는 것이 최선이 아니다. 대신에 머릿속에서 프로

그램을 해석(parse)하는 법을 배워서 토큰을 구분하고 구조를 해석해야 한다. 마지막으로 세부 사
항이 중요하다. 자연 언어라면 큰 문제가 아닐 구두점이 생략되거나 철자가 틀리는 것 같은 작은
오류가 형식 언어에서는 큰 차이를 낳는다.

033

씽크 파이썬 개정2판(본문)최종.indd 33 2017-09-19 오전 11:37:09