[Compiler] 3-1. 형식 언어

언어: 알파벳으로 생성되는 모든 문자열들의 부분집합이다. 문법: 언어는 문법에 의해서 생성되고 정의된다. 인식기: 언어는 인식기에 의해 인식된다. 문법 언어 인식기 type 0(무제약 문법) 재귀 열거 언어 튜링 기계 type 1(문맥인식 문법) 문맥인식 언어 선형한계 오토마타 type 2(문맥자유 문법) 문맥자유 언어 푸시다운 오토마타 type 3(정규 문법) 정규 언어 유한 오토마타 알파벳 언어의 문장을 이루는 기본적인 기호(Symbol)로 정의한다. 공집합이 아닌 기호들의 유한 집합으로 \( \sum \)로 표시한다. 일반 프로그래밍 언어에서는 사용 가능한 문자나 기호들의 집합이라고 설명한다. C 언어의 경우 영문자, 숫자, 특수 문자 등이 해당된다. 문자열(String) 알파벳 \(\sum\) 에..

2023.03.23