0
jflap을 기반으로 한 코스에서 자동 테스트를 배우고 있습니다. 문제는 많은 문서가없고 this과 this과 같은 jlap에서 찾은 샘플 오토 마타가 다가오는 테스트를 준비하기에 불충분하다는 것입니다.예제 오토마타 및 튜링 기계는 어디에서 찾을 수 있습니까?
어디에서 더 찾을 수 있습니까? 전환이있는 그래프로 표시된 샘플 튜링 기계가있는 다른 리소스도 도움이됩니다.
A
답변
2
"자동화, 언어 및 복잡성 문제 해결"은 제목과 관련된 모든 것에 대한 환상적인 교과서입니다. 무엇보다도, 당신은 모든 종류의 것들에 대한 DFA/NFA/PDAs/TM의 예제를 찾을 수 있으며, 그것들을 구축하기위한 많은 기술을 가르쳐줍니다.
편집 : 당신의 첫 번째 링크는 "비 결정적인 NPDA"와 "결정 론적 NPDA"에 대해 계속 이야기합니다. 나는이 평행선과 옥모 모라를 비난하는 충동을 만족시키기 위해이 글을 쓰고있다. :)
1
마이클 시퍼의 훌륭한 책 "Introduction to the Theory of Computation"을 사용해보십시오. 오토 마타와 튜링 기계는 모두 상태 다이어그램으로 표현되며, 해석과 구현에 필요한 충분한 텍스트 설명이 포함되어 있습니다.
이것은 약 4 년 전, 2 판이 출시되기 직전 Uni에서 우리의 코스 텍스트였습니다. 그것은 진짜 바위 였어, 나는 그것을 진심으로 추천한다!
그 책에는 멋진 exapmples가 있습니다. 많은 감사. – andandandand