自動機編程語言

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，您可以使用正則表達式。 :)