A4 -> c
A3 -> b | A3 A4
A2 -> a
A1 -> A2 b | A3 c
A3 -> A1 A3

