오토 마타 프로그래밍 언어

Question

튜링 머신과 유한 상태 오토 마톤과 같은 추상 기계를 구현하는 프로그래밍 언어를 알고 있습니까? 프로세스의 다음 입력

:

• 5 튜플 (The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101) 튜링 추상 머신 또는 시스템의 다른 표현 형식을위한 7-tuple.
• 입력 단어.

입력 단어가 수락 단어인지 알려주세요.

감사합니다,

아담

Answer 1

J programming language은 언어의 기본 기호로 유한 상태 기계 프로세서를 제공합니다. 해당 기호에 대한 설명서는 here입니다.

그렇다면 Sequential Machine은 J 언어의 시작점이 아님을 알려드립니다. 고급 구성 요소입니다. J와의 친숙 함없이 그것을 사용하려고하면 많은 좌절감을 낳을 것입니다.

J의 순차적 기계의 사용법을 보여주는 접근 가능한 에세이는 Huffman Coding입니다.

Answer 2

나는 튜링 기계에 대해 알고하지 않습니다. 사람들이 시뮬레이터를 작성했다고 확신합니다. FSA의 경우 정규 표현식을 사용할 수 있습니다. :)