Author: A Course in Formal Languages, Automata