Язык программирования Automata

Question

Знаете ли вы какой-либо язык программирования, который реализует абстрактные машины, такие как машины Тьюринга и автоматы конечного состояния?

То есть, процесс следующий ввод:

• 5-кортеж (The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101), A 7-tuple для машин Тьюринга или любого другого формального представления абстрактной машины.
• Входное слово.

И скажите, было ли входное слово принимающим.

Спасибо,

Адам

Answer 1

J programming language обеспечивает процессор конечных автоматов как примитивный символ языка. Документация для этого символа - here.

Тем не менее, позвольте мне предупредить, что Sequential Machine не является подходящей отправной точкой для J-языка. Это продвинутый компонент. Попытка использовать его без значительного знакомства с J, скорее всего, приведет к большому разочарованию.

Доступное эссе, которое демонстрирует использование последовательной машины J, - Huffman Coding.

Answer 2

Я не знаю, о машине Тьюринга. Я уверен, что люди там пишут симуляторы. Для FSA вы можете просто использовать регулярное выражение. :)