AUTOMATA (ab)*c+(ac)b+c