automata loadable from string + run with output