Archive: 2019/6

Theory of computation (7)

본 내용은 KOCW 한양대학교 “오토마타 및 계산이론” 강좌 9, 10강을 보며 정리한 내용입니다. regular grammers 1. right linear grammer / left linear grammer right linear grammer 는 nonterminal symbol이 오른쪽에 있을때 입니다. A \to x BA \to xnon

Theory of computation (6)

본 내용은 KOCW 한양대학교 “오토마타 및 계산이론” 강좌 7강을 보며 정리한 내용입니다. GTG(Generalized Transition Graph) GTG는 NFA를 포함하는 개념입니다. GTG는 NFA의 Transition에 symbol 이 아닌 regular expression 이 들어간 Graph 를 애기합니다. complete GTG 는 모든

Theory of computation (5)

본 내용은 KOCW 한양대학교 “오토마타 및 계산이론” 강좌 6강을 보며 정리한 내용입니다. Regular Expression language를 표현할수 있는 방법은 3가지가 있습니다. 첫번째는 grammer를 이용하여 grammer로 derivation 하는 모든 sentence 들을 language로 하는것입니다. 두번째는 DFA나 NFA가 accept