결정적 유한오토마타1 컴파일러구성 - [제4장]정규문법,정규표현과 결정적 유한오토마타[DFA] 의 동치관계 컴파일러구조 - [제4장]정규문법,정규표현과 결정적 유한오토마타[DFA] 의 동치관계 DFA 상태수 최소화 동치관계 증명 융어정리 동치관계 : Equivalence relation, 반사적이고, 대칭적이고, 추이적인 관계를 만족하는 관계, 정규문법-> 정규표현->유한오토마타 관계가 성립하고 다시 유한오토마타-> 정규문법이 성립하므로 동치관계를 만족한다. 동치류 : 서로 동치(同値)인 것을 하나로 모은 집합. 유한 오토마타 : 어떤 알파벳 T로부터 만들어지는 문자열의 특별한 것들을 받아들이는 시스템의 수학적 모델로서, 그 시스템의 변화할 수 있는 상태가 유한개인 것 정규문법 : A→tB A→t (우선형) 또는 A→Bt A→t(좌선형) 단, t ∈ V*t 정규표현 : 정규문법을 가장 잘 표현할 수 있는 표현.. 2016. 7. 10. 이전 1 다음