Languages and translations

Abstract

The textbook considers fundamentals the mathematical formal language theory and the translations. Such knowledge is necessary for all who works in the field of theoretical or application-oriented computer science. Facts in issue of the theory with proofs are stated. Chapters are accompanied by exercises. The content is based on materials of the lectures read by the author in different years at faculty of Mathematics and Mechanics Leningrad - St. Petersburg State University. Fine monographies on these matters, published in 1960s, by this time became a rare book. It is supposed that the present manual at least partially compensates a lack of the educational literature in the field. The manual is intended for students of Mathematics faculties of the universities studying syntactic methods in computer science.