Elements of Automata Theory

A treatise on finite automata theory that both gives a rigorous account and illuminates its real meaning. The first part is organised around notions of rationality and recognisability. The second deals with relations between words realised by finite automata. Many exercises, often with solutions or answers, are included.