DPDA自动机规则

时间:2017-04-16 23:07:30

标签: automata

我无法理解npda与dpda之间的区别 我认为它是这样的

NPDA-来自州多种选择可以进入下一个州

DPDA-来自一个州,只有1条路径可以进入下一个州

..但是有两条关于DPDA的规则我无法理解

..每个维基百科 enter image description here

第一条规则:

  • q是状态,a是字母符号,x是堆栈符号

“最多只有一个元素”意味着

我不知道第二条规则意味着什么。

请有人将此翻译成普通英语。我很感激。

1 个答案:

答案 0 :(得分:0)

对于第一条规则,"最多只有一个元素"表示特定输入和堆栈符号只有一个delta转换(delta转换正式被视为PDA的一组)。换句话说,如果堆栈顶部有输入并且输入进入,则永远不会有多个状态。

如你所说," DPDA-来自一个州,只有一条路可以进入下一个州。"该规则是表示只能采用一条路径的正式方式。

违反规则1可能会指定两个具有相同输入符号和堆栈符号的相同状态的增量转换。例如,状态q可能有两个转换,每个转换需要堆栈上的ba作为输入,但转到不同的状态。这不是DPDA。

第二条规则规定,如果堆栈符号下的空字符串存在增量转换,则该堆栈符号下的字母表中的任何字母都没有增量转换。

这意味着如果允许特定堆栈符号在没有任何输入的情况下弹出,则不能允许它也在输入的同一状态下弹出。

违反规则2可能允许从堆栈中弹出a而不在两个状态之间输入任何内容,但也允许以b作为输入从堆栈中弹出。