线性语法，派生一个单词

Question

假定给出了右语法，您将如何显示导出单词的步骤？例如，如果我有语法：

S -> aA
A -> bA
A -> aB
B -> cB
B -> a

我想构造abbbacca一词。我将如何显示我的脚步衍生？会是：

S => A => A => A => A => B => B => B

或更类似于：

aA => abA => abbA => abbbA => abbbaB => abbbacB => abbbaccB => abbbacca

Answer 1

将评论转换为答案，以便问题可以从未答复的列表中消失...

表格

S => aA => abA => abbA => abbbA => abbbaB => abbbacB => abbbaccB => abbbacca

是显示推导的更常用且更可取的方式。对于额外的功劳，尤其是在较大的语法中，显示派生箭头上应用的规则的标签也可能很有用，例如

S =(1)=> aA

当然，要使其真正有用，规则必须带有标签！