Elements of Automata Theory, monography published by Cambridge University Press in 2009. Corrected English translation (by Reuben Thomas) of `Eléments de théorie des automates' published in 2003 by Vuibert.