#axiom
L
#rules
L -> L[/+L\L]L
K -> K
#end rules