Talk:Input/output automaton