정규언어1 컴파일러구성 - [제3장]정규언어와 유한오토마타 컴파일러구조 - 정규언어와 유한오토마타 용어정리 유한 오토마타 : 어떤 알파벳 T로부터 만들어 지는 문자열의 특별한 것들을 받아들이는 시스템의 수학적 모델로서, 그 시스템이 변화할 수 있는 상태가 유한개인 것 비결정적 유한 오토마타 NFA: 어떤 상태에서 주어진 하나의 입력기호를 보고, 갈수 있는 다음 상태가 두개 이상 존재할 수 있는 유한 오토마타 결정적 유한 오토마타 DFA : 하나의 입력문자열에 대하여 오직 하나의 다음 상태가 결졍되는 것 상태전이도(transition diagram) :오토마타의 각 상태(state)를 노드(node)로 나타내며, 이동함수 δ(q,a) = p에 대해서는 상태 q에서 p로 가는 레이블(label)이 a인 지시선(directed arc)으로 표기. 또한 종결상태들은 이.. 2016. 7. 10. 이전 1 다음