PDA的形式化描述

Question

我记得如何做一个FSM的正式描述，但是为PDA做一个看起来有点不同。任何人都可以帮助解释盘旋的部分？我通常会记笔记，但似乎无法在笔记本或其他任何地方找到任何关于此的信息。任何帮助表示赞赏。

Answer 1

他们是你的过渡，如图所示。 看一看here。

Answer 2

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