Apex Predator
컴파일러 2강. 형식언어와 형식문법, 오토마타 이론
형식언어와 형식문법 형식언어는 어떤 알파벳에서 얻은 기호 심볼들로 구성되는 문자열 스트림의 집합이고 형식문법은 형식언어를 생성하기 위한 규칙이다. 형식문법은 논터미널 기호들의 유한집합 VN, 터미널 기호들의 유한집합 VT, 생성규칙의 집합 P, 시작기호 S로 구성되며 G = (VN, VT, P, S) 로 표현한다. 형식문법에서 터미널(terminal) 기호는 정의된 언어의 알파벳이나 기호로서 영문자의 소문자나 아라비아 숫자, 연산자 기호 등이 여기에 속하고, 논터미널(non-terminal) 기호는 언어에서 문자열을 생성하는 데 사용되는 중간과정의 기호로서 보통 대문자로 표시한다. 촘스키 계층구조 Chomsky Hierarchy 생성규칙의 형태에 가해지는 제한에 따라 미국의 영문학자 촘스키는 Type0,..