Automata, Computability and Complexity: Theory and ApplicationsThe theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, compilers, software verification, networks, security, natural language processing, artificial intelligence, game playing, and computational biology. The core material includes discussions of finite state machines, Markov models, hidden Markov models (HMMs), regular expressions, context-free grammars, pushdown automata, Chomsky and Greibach normal forms, context-free parsing, pumping theorems for regular and context-free languages, closure theorems and decision procedures for regular and context-free languages, Turing machines, nondeterminism, decidability and undecidability, the Church-Turing thesis, reduction proofs, Post Correspondence problem, tiling problems, the undecidability of first-order logic, asymptotic dominance, time and space complexity, the Cook-Levin theorem, NP-completeness, Savitch's Theorem, time and space hierarchy theorems, randomized algorithms and heuristic search. Throughout the discussion of these topics there are pointers into the application chapters. So, for example, the chapter that describes reduction proofs of undecidability has a link to the security chapter, which shows a reduction proof of the undecidability of the safety of a simple protection framework. |
Contents
M02_RICH8064_01_SE_C02 | 8 |
M03_RICH8064_01_SE_C03 | 21 |
M04_RICH8064_01_SE_C04 | 36 |
Copyright | |
46 other sections not shown
Common terms and phrases
5w H accepts algorithm alphabet binary Boolean Büchi automaton build character clause computation configuration consider construct contains context-free grammar context-free languages context-sensitive context-sensitive languages corresponds decidable decision procedure define described deterministic deterministic Turing machine DFSM edges element encoding equivalent example exists finite number finite state machine first-order logic function Given grammar G graph Greibach normal form halts infinite input string integer length loop match move natural numbers NDFSM node nondeterministic nondeterministic Turing machine nonterminal normal form NP-complete number of steps Oracle parse tree parser path polynomial problem proof prove PSPACE Pumping Theorem read/write head recursive reduction regular expression regular languages reject rule Section semidecidable sequence shown in Figure simple simulation solve stack subset substring symbol tape technique transition true Turing machine undecidable unrestricted grammar variables vertex vertices