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

Question

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

То есть обработайте следующий ввод:

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

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

Спасибо

Адам

Answer 1

Язык программирования J предоставляет процессор конечного автомата в качестве примитивного символа языка.Документация для этого символа: здесь .

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

Доступное эссе, демонстрирующее использование последовательной машины J, - Кодирование Хаффмана .

Answer 2

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