2.5 Operations on I/O automata