Presentations for automata with output