0

在介紹計算書的理論,語言formula狀態圖給出:非確定下推自動機不同的圖

enter image description here

我知道有可能是替代圖,但我懷疑的解決方案,我發現可能是錯誤的,這是比原來的稍有不同: enter image description here

我希望我的解決方案的任何計數器輸入。

+0

您的轉換圖不允許您的PDA接受空字符串,而本書的圖表確實如此。空字符串是目標語言的成員,所以這本書是正確的,而你的不是。 – Welbog

+0

@Welbog我的圖也允許爲空狀態,因爲q1在我的情況下是接受狀態,因此當字符串爲空時表示沒有輸入,一個分支將停留在q1並接受空字符串。 –

+0

啊,我明白了。你是對的。我相信它們是相同的。 – Welbog

回答

0

看不到一個沒有答案的問題。所以是的,它們與我觀察到的相同。