設計一個 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}

更新於: 2021 年 6 月 16 日

484 次瀏覽

開啟您的職業生涯

透過完成課程獲得認證

開始
廣告