촘스키가 분류한 문법 중 프로그래밍 언어에서 구문을 분석하는데 사용하는… | [사무자동화산업기사 필기] 17년 1회차 기출문제 상세 페이지

촘스키 위계에서 Type 2(문맥자유문법, Context-Free Grammar)는 프로그래밍 언어의 구문 분석에 표준적으로 사용된다. Type 2 문법은 왼쪽이 단일 비단말 기호인 형태(A → α)로 제한되어 있어 명확한 파싱이 가능하며, 재귀적 구조를 표현할 수 있어 프로그래밍 언어의 조건문, 반복문, 함수 호출 등 중첩된 구조를 효과적으로 나타낼 수 있다. Type 0은 표현력은 가장 크지만 결정 불가능하고, Type 1은 문맥의존 문법으로 파싱이 복잡하며, Type 3는 표현력이 제한적이어서 프로그래밍 언어의 복잡한 구조를 표현할 수 없다.