some tests for automaton. in progress