This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages. It is the first to presentan algebraic approach. It con- tains all fundamental results, starting with the Kleene- Sch}tzenberger theorem, up to the latest developments. Re- lations with number theory and the theory of codes are em- phasized.