從上下文無關語法構造下推自動機

Question

從這個section of the Wiki article on PDA，我已經從給定的CFG對PDA的構建過程有一個大概的瞭解。本文沒有說明的是當單個非終端有多個生產規則時所需的步驟。

例如假設我們有以下形式給出一個語法：

很明顯，這個語法識別所有形式爲x（ab）* y的字符串[巧合的是它也是一種常規語言]。

在這裏，我有問題，從這個語法構造PDA因爲以下規則

也就是說，它的這兩個規則中使用擴展階段，同時推下棧？

Answer 1

在本Slides你的PDA將給予最左邊的模擬推導

Answer 2

對於更多細節清晰的幻燈片有一個例子。