pushdown-automaton - 了解下推自动机 (PDA) 中的详细信息

Question

我最近被设置了一个任务来创建一个基于我之前创建的有限自动机的下推自动机。（我实际上并没有成功，这就是为什么我的导师给了我一份工作副本）

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

“”第一个是当箭头与一个状态连接但只是指向它时，它的确切含义是什么，我是否认为这是检查预先输入的语言（在我的情况下为 0-9）是否正确（此箭头指向终端状态）""

我已经尝试过进行研究，但不幸的是，我没有想出任何可以用基本术语真正向我解释的东西，我什至尝试过“傻瓜有限自动机”，但仍然没有！我还检查了可能有我的答案但没有的问题。

Answer 1

如果您指的是像下图中标有“1”的两个箭头这样的循环：

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

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