형식언어1 컴파일러구성 - [제2장]형식언어와 형식문법 컴파일러구성 - [제1장]형식언어와 형식문법 주요용어 형식언어 : 어떤 알파벳 에서 얻은 기호 심볼들로 구성되는 문자열 스트림의 집합 형식문법 : 형식언어를 생성하기 위한 규칙 컨텍스트 프리 문법 : A는 Y이다. 단, A는 논터미날 기호이고 y는 V프라임에 속하는 문자열이다. 촘스키 계층구조 : 생성규칙의 형태에 가해지는 제한에 따라 미국의 영문학자 촘스키가 4종류로 나눈 형식문법 컨텍스트-센서티브 문법 : Y 이면 베타이다. 단, y의 절다값은 베타의 절다값보다 작거나 같으며 베타는 V프라임의 원소이다. 생성규칙에 y의 절대값은 베타의 절다값보다 작거나 같다는 제한을 가하는 것으로 바위측형 난컨트렉팅 문법에 속함 공문자열 : 문자열의 길이가 0인 것, 엡실론 또는 람달로 표시 A이면 tB이고 A이면 .. 2016. 7. 10. 이전 1 다음