Peter Linz Knihy

Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is designed for an introductory course for computer science and computer engineering majors who have knowledge of some higher-level programming language, the fundamentals of

Each chapter provides an exploration section with problems that deal with software evaluation, selection, modificationm and the solution of not entirely open-ended problems.