This book is an introduction to rational formal power series in several noncommutative variables and their relations to formal languages and to the theory of codes.
Formal power series have long been used in all branches of mathematics. They are invaluable in enumeration and combinatorics. For this reason, they are useful in various branches of computer science. As an example, let us mention the study of ambiguity in formal grammars.