Modern Automata Theory
Zoltán Ésik, Werner Kuich
From Preface - In this book we will give a survey on several topics in language and automata theory and will report on generalizations of some classical results on formal lan- guages, formal tree languages, formal languages with finite and infinite words, automata, tree automata, etc. These generalizations are achieved by an alge- braic treatment using semirings, formal power series, formal tree series, fixed point theory and matrices.