了解下推自动机（PDA）中的详细信息

Question

我最近设定了一项任务，即创建一个基于我事先创建的有限自动机的下推自动机。 （我实际上并没有成功地做到这一点，这就是为什么我的导师给了我一份工作副本）

我无法理解两个图表中包含的部分。

“”第一个是箭头在与一个州联合时的意思究竟是什么，但只是指向它，我正确地认为这是检查预先输入的语言（在我的情况下是0-9） ）是正确的（此箭头指向一个终端状态）“”

我已经尝试过我的研究，但遗憾的是我没有想出任何可以用基本术语向我解释它的东西，我甚至尝试过“有限自动机为傻瓜”而且仍然没有！我也检查了可能有我答案的问题，而且没有。

Answer 1

如果您的意思是如下图中标有“1”的两个箭头所示的循环：

然后那些只是正常的状态转换，唯一特殊的方面是下一个状态与前一个状态相同。即，如果我们处于上面的S_2状态，那么当输入包含“1”时，我们消耗那些并保持在S_2中。只有在输入“0”后，我们才会转到S_1。

如果您的特定机器，您可能应该保持在终端状态，而输入包含任何数字（“0-9”）。