corrected tests for automaton once more
'+'