start -> a
a -> a aa
a -> aa a
a -> aa
aa -> i A i
aa -> i B i
aa -> i C i
i ->