This book is a systematic exposition of the theory of rational formal power series and the associated formal languages. It is the first to present an algebraic approach. It contains all fundamental results, starting with the KleeneSch?tzenberger theorem, up to the latest developments. Relations with number theory and the theory of codes are emphasized.