线性语法，导出一个词

【问题标题】：Linear grammar, derive a word线性语法，导出一个词
【发布时间】：2019-07-30 11:43:49
【问题描述】：

假设给出了一个右线性语法，你将如何展示派生单词的步骤？例如，如果我有语法：

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

【问题讨论】：

【解决方案1】：

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

形式

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

是显示推导的更常用和更可取的方式。为了获得额外的荣誉，尤其是对于较大的语法，在推导箭头上显示应用的规则标签也可能很有用，例如

S =(1)=> aA

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

【讨论】：