Shelf:Automata theory