自动机编程语言

Question

您是否知道任何实现像图灵机和有限状态自动机这样的抽象机器的编程语言？

即，过程中的以下输入：

• 5元组（The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101），一个用于7-tuple图灵机或抽象机的任何其它形式表示。
• 输入单词。

并告诉我输入的单词是否为接受单词。

感谢，

亚当

Answer 1

J programming language提供了一个有限状态机处理器作为该语言的原始符号。该符号的文档是here。

这就是说，让我警告Sequential Machine不是J语言的合适起点。这是一个高级组件。试图在不明显熟悉J的情况下使用它可能会导致很多挫折。

演示使用J的Sequential Machine的可访问的文章是Huffman Coding。

Answer 2

我不知道图灵机。我相信人们已经在那里写了模拟器。对于FSA，您可以使用正则表达式。 :)