Text this: Deriving Synchronizing and Homing Sequences for Input/Output Automata