for automata stduy