«An Introduction to Formal Languages and Automata», sjette utgave, er utformet for et innføringskurs i formelle språk, automater, beregnelighet og beslektede emner som utgjør det som kalles beregningsteori. Boken tar en problemorientert tilnærming hvor studentene utfordres på ulike nivåer. Den sjette utgaven gir studentene en solid forståelse av grunnleggende prinsipper innen datavitenskap, og gir kunnskap som vil være nyttig i senere kurs. Videre styrker den studentenes evne til å føre formelle og strenge matematiske argumenter. Hovedtrekkene inkluderer nye innledende øvelser som hjelper studentene med å knytte konsepter til mer utfordrende oppgaver. Kapitlene 1-14 fra den sjette utgaven er nå reorganisert som del I: Teori, og inkluderer de nye øvelsene for å berike læringsopplevelsen.
