Alphabet: A B
Axiom: A
Rules: (A -> AB) (B -> A)