TheoryofComputerScience--Automata,LanguagesandComputation,3rdEdition.pdf