Text this: Automata theory in nominal sets