An introductory book on formal languages.