This introductory text covers the theory required at the start of an honours degree in computing. It concentrates on regular and context-free grammars. In this edition, the mathematics have been simplified and examples and exercises included.