可計算性和複雜性/形式語言/喬姆斯基層次結構/示例 PDA 輸入
這些示例用於與 上下文無關語言 底部提供的 perl PDA 模擬器一起使用。該頁面還包含關於 PDA 的描述及其工作原理。
接受任何形式為 的字串的機器的規範
:States: q1 q2 q3 q4 :Start State: q1 :Accept States: q4 :alphabet: a b :stack alphabet: $ a :rules: q1 e e q4 $ q1 e e q2 $ q2 b a q3 e q2 a e q2 a q3 b a q3 e q3 e $ q4 e
一些示例輸入：這些接受
a a b b
(the empty string)
a a a a a b b b b b
這些拒絕
a a a b b b b b
a a a b b
接受任何包含至少一個 'a' 以及至少同樣多 'b' 的字串的機器
:States: q1 q2 q3 q4 :Start State: q1 :Accept States: q4 :alphabet: a b :stack alphabet: $ a :rules: q3 b e q3 e q3 b a q3 e q2 b a q3 e q2 a e q2 a q1 e e q2 $ q3 e $ q4 e
一些示例輸入：這些接受
a b
a a a b b b b b b b
這些拒絕
(the empty string)
a a a b b