Introduction to automata theory, languages, and computation

>> Google Books

所蔵情報QRコード

Introduction to automata theory, languages, and computation / by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

版:

3rd ed

資料種別:

図書

出版情報:

Boston : Pearson Addison-Wesley, c2007

形態:

xvii, 535 p. ; 24 cm

著者名:

ISBN:

9780321462251 [0321462254] (: hbk)
9780321455369 [0321455363]
9780321455376 [0321455371] (: student access kit)
9780321476173 [0321476174] (: Pearson international ed.)

書誌ID:

BA78357116

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computational complexity; Formal languages; Machine theory

言語:

英語

目次情報:

Automata: The Methods and the Madness / Chapter 1：

Why Study Automata Theory / 1.1：

Introduction to Formal Proof / 1.2：

Additional Forms of Proof / 1.3：

Inductive Proofs / 1.4：

The Central Concepts of Automata Theory / 1.5：

Summary of Chapter 1 / 1.6：

Gradiance Problems for Chapter 1 / 1.7：

References for Chapter 1 / 1.8：

Finite Automata / Chapter 2：

An Informal Picture of Finite Automata / 2.1：

Deterministic Finite Automata / 2.2：

Nondeterministic Finite Automata / 2.3：

An Application_ Text Search / 2.4：

Finite Automata With EpsilonTransitions / 2.5：

Summary of Chapter 2 / 2.6：

Gradiance Problems for Chapter 2 / 2.7：

References for Chapter 2 / 2.8：

Regular Expressions and Languages / Chapter 3：

Regular Expressions / 3.1：

Finite Automata and Regular Expressions / 3.2：

Applications of Regular Expressions / 3.3：

Algebraic Laws for Regular Expressions / 3.4：

Summary of Chapter 3 / 3.5：

Gradiance Problems for Chapter 3 / 3.6：

References for Chapter 3 / 3.7：

Properties of Regular Languages / Chapter 4：

Proving Languages Not to Be Regular / 4.1：

Closure Properties of Regular Languages / 4.2：

Decision Properties of Regular Languages / 4.3：

Equivalence and Minimization of Automata / 4.4：

Summary of Chapter 4 / 4.5：

Gradiance Problems for Chapter 4 / 4.6：

References for Chapter 4 / 4.7：

Context-Free Grammars and Languages / Chapter 5：

Context-Free Grammars / 5.1：

Parse Trees / 5.2：

Applications of Context-Free Grammars / 5.3：

Ambiguity in Grammars and Languages / 5.4：

Summary of Chapter 5 / 5.5：

Gradiance Problems for Chapter 5 / 5.6：

References for Chapter 5 / 5.7：

Pushdown Automata / Chapter 6：

Definition of the Pushdown Automaton / 6.1：

The Languages of a PDA / 6.2：

Equivalence of PDA's and CFG's / 6.3：

Deterministic Pushdown Automata / 6.4：

Summary of Chapter 6 / 6.5：

Gradiance Problems for Chapter 6 / 6.6：

References for Chapter 6 / 6.7：

Properties of Context-Free Languages / Chapter 7：

Normal Forms for Context-Free Grammars / 7.1：

The Pumping Lemma for Context-Free Languages / 7.2：

Closure Properties of Context-Free Languages / 7.3：

Decision Properties of CFL's / 7.4：

Summary of Chapter 7 / 7.5：

Gradiance Problems for Chapter 7 / 7.6：

References for Chapter 7 / 7.7：

Introduction to Turing Machines / Chapter 8：

Problems That Computers Cannot Solve / 8.1：

The Turing Machine / 8.2：

Programming Techniques for Turing Machines / 8.3：

Extensions to the Basic Turing Machine / 8.4：

Restricted Turing Machines / 8.5：

Turing Machines and Computers / 8.6：

Summary of Chapter 8 / 8.7：

Gradiance Problems for Chapter 8 / 8.8：

References for Chapter 8 / 8.9：

Undecidability / Chapter 9：

A Language That Is Not Recursively Enumerable / 9.1：

An Undecidable Problem That Is RE / 9.2：

Undecidable Problems About Turing Machines / 9.3：

Post's Correspondence Problem / 9.4：

類似資料:

1 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942- Addison-Wesley	7 図書オートマトン言語理論計算論 (1 ; 2) Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942-, 野崎, 昭弘(1936-) サイエンス社
2 図書 Introduction to automata theory, languages, and computation Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942- Addison-Wesley	8 図書 Introduction to the theory of computation Sipser, Michael PWS Pub.
3 図書 Formal languages and their relation to automata Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942- Addison-Wesley Pub. Co.	9 電子ブック Introduction to the theory of computation (: electronic bk) Sipser, Michael Maruzen eBook Library
4 図書 Problem solving in automata, languages, and complexity Du, Dingzhu, Ko, Ker-I John Wiley & Sons	10 図書 Introduction to the theory of computation (: hbk ; : pbk) Sipser, Michael Cengage Learning
5 図書 Elements of the theory of computation (: UK) Lewis, Harry R., Papadimitriou, Christos H. Prentice-Hall, Prentice-Hall International	11 図書 Programs, machines, and computation : an introduction to the theory of computing Clark, Keith L., Cowell, Don McGraw-Hill
6 図書 Automata theory: machines and languages Kain, Richard Y. McGraw-Hill	12 図書 Formal languages; automata and structures Engeler, Erwin, 1930- Markham Pub. Co