Automata and Theory of Computation 20160316정리

한양대학교 ocw Automata and Theory of Computation 20160316 강의를 정리

Indistinguishable

Distinguishable ( by a string w)

두 state 에서 모든 string w에 대하여 transition을 했을시에 모두 final , 혹은 모두 final로 안가는 경우 두개의 state가 Indistinguishable

|w|=n+1인 를 통하여 distinguish하는 string w가 있으면 반드시 |w`|=n으로 distinguish하는 string존재

댓글을 남겨주세요~