목록전공/오토마타와형식언어 (1)
수정입니다
오토마타 정리
기말 정리 시작 전에 간단한 정리 Regular - DFA, NFA Context-Free - DPDA, (N)PDA Context-Sensitive - lba(그냥 넘어감) Recursively Enumerable - TM Chap 6 : Simplifications of Context-Free Grammars 6.1 Methods for transforming grammars A substitution Rule(치환 규칙) Removing lambda productions --> lambda 로 바로 가는 애들은 없애주고 --> Nullable variable을 다 찾고 그걸 포함하는 production에서 하나씩 다 치환 Removing unit Productions --> 위가 ..
전공/오토마타와형식언어
2023. 12. 28. 12:50