0

在介绍计算书的理论,语言formula状态图给出:非确定下推自动机不同的图

enter image description here

我知道有可能是替代图,但我怀疑的解决方案,我发现可能是错误的,这是比原来的稍有不同: enter image description here

我希望我的解决方案的任何计数器输入。

+0

您的转换图不允许您的PDA接受空字符串,而本书的图表确实如此。空字符串是目标语言的成员,所以这本书是正确的,而你的不是。 – Welbog

+0

@Welbog我的图也允许为空状态,因为q1在我的情况下是接受状态,因此当字符串为空时表示没有输入,一个分支将停留在q1并接受空字符串。 –

+0

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

回答

0

看不到一个没有答案的问题。所以是的,它们与我观察到的相同。