add more examples
finite automata
sol of q066