Right-Linear Grammars
>
P:=table():
P[(S)]:={[a,A]}: P[(A)]:={[a],[\lambda]}:
G:=mkRLG({S,A,B},{a},S,op(P));
(9.1.1)
>
>