pushdown-automaton - PDA的正式描述

Question

我记得如何对 FSM 进行正式描述，但是为 PDA 进行描述看起来有点不同。任何人都可以帮助解释圈出的部分吗？我通常会记好笔记，但似乎在我的笔记本或其他任何地方都找不到关于此的任何内容。任何帮助表示赞赏。

Answer 1

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

Answer 2

在为下推自动机工作时，我们有两种类型：图形和瞬时。
在图形化 PDA 中，我们以图解方式显示堆栈操作。
在瞬时 PDA 中，我们使用瞬时规则。
您圈出的部分属于后一类。
这些规则的含义如下：
在开始之前，要清楚最初的堆栈有一个 epsilon 值。而且每一次push都可以有对应的pop操作。
所以在第一行，即 ((S,a,E),(S,a)) -> 当输入第一个字母 a 时，状态将保持不变，输出将是 a。此外，只要输入是一个状态，就会保持不变。
在第二行 ((S,b,a),(f,E)) -> 这条规则规定，当您输入 b 字母作为输入 a 之后，状态现在将改变，a 将被弹出，而任何其他字母比 S 可以用来显示变化的状态，现在的值将是 epsilon。
在最后一行中，描述了当输入再次为 b 时，状态保持不变。