从上下文无关语法构造下推自动机

Question

从section of the Wiki article on PDA开始，我对给定CFG的PDA构建过程有了大致的了解。本文未明确说明当单个非终端有多个生产规则时所需的步骤。

例如，假设我们有一个语法：

  

     

     

     

显然，这个语法识别 x（ab）* y 形式的所有字符串[巧合的是它也是常规语言]。

由于这两条规则，我在这个语法中构建PDA存在问题

  

     

也就是说，在向下推送到堆栈时，扩展阶段中使用这两个规则中的哪一个？

Answer 1

如此Slides所示，您的PDA将模拟最左侧的派生

Answer 2

有关更多详细信息，幻灯片有一个示例。