Grammar 线性语法，派生一个单词

假设给出了正确的线性语法，您将如何显示派生单词的步骤？例如，如果我有语法：

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

我想构造abbbaca这个词。我将如何显示我的步态？是不是：

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

或者更类似于：

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

---

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

形式

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

是表示推导的更常见、更可取的方式。为了获得额外的积分，特别是对于较大的语法，在派生箭头上显示应用的规则标签也可能很有用，例如

S =(1)=> aA

---

当然，为了让它真正有用，规则必须有标签

我必须从

S=>aA=>…

开始吗@高性能标记