設計一個 PDA 來識別這種語言
問題
生成識別 E={aibj| i 不等於 j 且 I 不等於 2j} 語言的下推自動機 (PDA)。
解決方案
考慮如下圖所示的兩種語言 −
L1={aibj|i,j>=0 且 i>2j}L2={aibj|i,j>=0 且 i<2j}
說服你自己 L=L1UL2
在 L1 中,a 的數量多於 b 的兩倍,因此 L1 如下 −
S1->aA
A->aaAb|aA|epsilon
在 L2 中,a 的數量少於 b 的兩倍
因此 L2 的 CFG 變成如下 −
S2->Bb|aBb
B->Bb|aBb|aaBb|epsilon
S->S1|S2
L1: {aibj:i>2j}
L2:{aibj: i<2j}
廣告