Right-Linear Grammars 

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

`:=`(G, RLG({S, B, A}, {a}, S, TABLE([S = {[a, A]}, A = {[a], [lambda]}]))) (9.1.1)
 

>
 

>