(방송통신대 프로그래밍언어론 기말시험)모호한 문법의 의미를 설명하고 교재/강의에서 다루지 않은 예를 제시 배런의 표기법 비지역변수와 자유변수를 공통점과 차이점 추상화의 의미 제어 추상화와 자료 추상화의 개념

1. 모호한 문법의 의미를 설명하고, 교재/강의에서 다루지 않은 예를 제시하시오. (20점)

프로그램에 오류가 없다면, 컴파일 과정에서 어휘 분석 후 진행되는 구문 분석기의 구문 분석에서 파스 트리가 정상적으로 만들어진다. 그러나 문자열 x∈L(G)을 만족하는 문법 G에 대해 생성규칙을 따라 2개 이상의 파스 트리가 유도되면 문법 G는‘모호하다(ambiguous)’고 말한다. 즉, 모호한 문법은 동일한 문자열에 대해서 최좌단 유도(leftmost derivation) 또는 최우단 유도(rightmost derivation)를 통해 2개 이상의 파스 트리가 생성되는 문법이다. 여기서 유도란, 구문 분석에서 문법의 생성규칙에 따라 특정한 문자열을 도출해나가는 과정을 의미한다. 또한 최좌단 유도는 가장 왼쪽에 있는 비단말 기호부터 차례로 유도해 나가는 것이고, 최우단 유도는 가장 오른쪽의 비단말 기호부터 순차적으로 하나씩 변환해 나가는 것이다.

파스 트리(parse tree)란, BNF 등으로 표기된 구문을 트리로 표현해서 유도하는 일련의 과정을 의미한다. 파스 트리에서 최종 결과가 모두 단말기호라면 문법은 성립하고 비단말기호가 1개라도 존재하면 문법에 부적합하다. 즉, 주어진 문…(생략)