PDA的形式描述

Question

我记得如何对FSM进行正式描述，但为PDA做一个看起来有点不同。任何人都可以帮忙解释带圆圈的部分吗？我通常会记笔记，但在我的笔记本或其他任何地方似乎都找不到任何东西。任何帮助表示赞赏。

Answer 1

如图所示，它们是您的过渡。 看看here。

Answer 2

在按下自动机时，我们有两种类型：图形和瞬时 在图形PDA中，我们以图形方式显示堆栈操作 在瞬时PDA中，我们使用瞬时规则 圆圈部分属于后一类 这些规则意味着以下内容：
在开始之前，请注意最初堆栈具有epsilon值。 每次推动都可以进行相应的弹出操作 因此，在第一行中，（（S，a，E），（S，a）） - >当输入第一个字母a时，状态将保持不变，输出将为a。此外，只要输入状态将保持不变。
在第二行（（S，b，a），（f，E）） - ＆gt;这个规则规定，当你有一个b字母作为输入之后，状态现在将改变，一个将被弹出，任何其他字母而不是S可用于显示变化的状态，值现在将是epsilon。 /> 在最后一行中，描述了当输入再次为b时，状态保持不变。