如何在 PDA 中定义增量

Question

我对 PDA 以及如何定义元组有点困惑。我有语言 L = { 0^n1^n | n >= 0 } 并且我知道 PDA 是六元组，包含 Q、sigma、gamma、delta、q0 和 F。我知道如何定义除 delta 之外的所有元素。

Q = ['q1', 'q2', 'q3', 'q4'] 
sig = ['0', '1']
gam = ['0', '$']
delta = ?
q0 = 'q1'
F = ['q1', 'q4']

谁能帮我理解 delta 是如何定义的？

Answer 1

PDA 中的一个转换由元组 (s, i, A, d, B) 组成，其中：

• s 是自动机当前必须处于的源状态才能使用转换
• i (i in Sigma or epsilon) 必须是输入中的当前字符才能使用转换，如果使用转换，它将从输入中读取
• A (A in Gamma*) 是符号，必须位于堆栈的顶部才能使用转换
• d 是目标状态（自动机将通过使用转换移动到）
• 如果使用了转换，B(B in Gamma*) 是将替换堆栈顶部上的 A 的符号。

这种语言的转换写在example section in Wikipedia。