PDA接受状态的简单解释？

Question

我一直试图找到下推自动机的超简单解释。这是我到目前为止所提出的：

1. PDA有三个操作：

   • 推进堆栈;给定输入状态，输入符号和顶部堆栈符号
   • 来自筹码的流行音乐;给定输入状态，输入符号和顶部堆栈符号
   • “切换”操作，用另一个符号替换堆栈顶部;给定输入状态，输入符号和顶部堆栈符号

2. PDA有两种接受形式：

   • 已清空堆栈的操作
   • 操作使堆栈返回到起始符号，并处于接受的最终状态。

我想知道我的第二点是否正确。这些只是PDA接受字符串的两种方式，这些甚至是正确的吗？我找到了很多例子，但没有超简单的解释。