Shelf:Automata theory/ancestry