This book is designed to serve as a test for a one-semester introductory course in the theory of computation. It covers the traditional topics of formal languages, automata, computability, and computational complexity. (from...
This book is designed to serve as a test for a one-semester introductory course in the theory of computation. It covers the traditional topics of formal languages, automata, computability, and computational complexity. (from preface)