问DPDA自动机规则

EN

对于第一条规则，“最多只有一个元素”意味着特定输入和堆栈符号只有一个增量转换(增量转换被正式视为PDA的集合)。换句话说，如果堆栈顶部有什么东西，输入就进来了，那么永远不会有多个状态可以进入。

正如您所说的，"DPDA-从一个州，只有一个路径可以被带到下一个州。“这条规则是表示只能走一条路的正式方式。

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

第二条规则指出，如果堆栈符号下的空字符串存在增量转换，则该堆栈符号下的任何字母都不存在增量转换。

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

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