عنوان

Automata and computability /

شابک

1461218446

شابک

1461273099

شابک

364285706X

شابک

9781461218449

شابک

9781461273097

شابک

9783642857065

شابک اشتباه

0387949070

شابک اشتباه

9780387949079

شماره

b623636

عنوان اصلي

Automata and computability /

نام عام مواد

[Book]

نام نخستين پديدآور

Dexter C. Kozen.

نام خاص و کميت اثر

1 online resource (xiii, 400 pages)

عنوان فروست

Undergraduate texts in computer science

متن يادداشت

Includes bibliographical references (pages 373-379) and index.

متن يادداشت

1. Course Roadmap and Historical Perspective -- 2. Strings and Sets -- 3. Finite Automata and Regular Sets -- 4. More on Regular Sets -- 5. Nondeterministic Finite Automata -- 6. The Subset Construction -- 7. Pattern Matching -- 8. Pattern Matching and Regular Expressions -- 9. Regular Expressions and Finite Automata -- A. Kleene Algebra and Regular Expressions -- 10. Homomorphisms -- 11. Limitations of Finite Automata -- 12. Using the Pumping Lemma -- 13. DFA State Minimization -- 14. A Minimization Algorithm -- 15. Myhill-Nerode Relations -- 16. The Myhill-Nerode Theorem -- B. Collapsing Nondeterministic Automata -- C. Automata on Terms -- D. The Myhill-Nerode Theorem for Term Automata -- 17. Two-Way Finite Automata -- 18. 2DFAs and Regular Sets -- 19. Context-Free Grammars and Languages -- 20. Balanced Parentheses -- 21. Normal Forms -- 22. The Pumping Lemma for CFLs -- 23. Pushdown Automata -- E. Final State Versus Empty Stack -- 24. PDAs and CFGs -- 25. Simulating NPDAs by CFGs -- F. Deterministic Pushdown Automata -- 26. Parsing -- 27. The Cocke-Kasami-Younger Algorithm -- G. The Chomsky-Schutzenberger Theorem -- H. Parikh's Theorem -- 28. Turing Machines and Effective Computability -- 29. More on Turing Machines -- 30. Equivalent Models -- 31. Universal Machines and Diagonalization -- 32. Decidable and Undecidable Problems -- 33. Reduction -- 34. Rice's Theorem -- 35. Undecidable Problems About CFLs -- 36. Other Formalisms -- 37. The [lambda]-Calculus -- I. While Programs -- J. Beyond Undecidability -- 38. Godel's Incompleteness Theorem -- 39. Proof of the Incompleteness Theorem -- K. Godel's Proof -- Homework Sets -- Miscellaneous Exercises -- Hints and Solutions.

بدون عنوان

0

متن يادداشت

The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in discussions of effective computability, decidability, and Gödel's incompleteness theorems. Plenty of exercises are provided, ranging from the easy to the challenging. As a result, this text will make an ideal first course for students of computer science.

عنوان

Automata and computability

شماره استاندارد بين المللي کتاب و موسيقي

0387949070

موضوع مستند نشده

Computable functions.

موضوع مستند نشده

Machine theory.

موضوع مستند نشده

Abstracte automaten.

موضوع مستند نشده

Automatentheorie.

موضوع مستند نشده

Automates mathématiques, Théorie des.

موضوع مستند نشده

Berechenbarkeit

موضوع مستند نشده

Berekenbaarheid.

موضوع مستند نشده

Complexité de calcul (informatique)

موضوع مستند نشده

Computable functions.

موضوع مستند نشده

Endlicher Automat

موضوع مستند نشده

Fundamentele informatica.

موضوع مستند نشده

Kellerautomat

موضوع مستند نشده

Kontextfreie Grammatik

موضوع مستند نشده

Machine theory.

موضوع مستند نشده

Machines séquentielles, Théorie des.

موضوع مستند نشده

Reguläre Menge

موضوع مستند نشده

Turing, Machines de.

موضوع مستند نشده

Turing-Maschine

شماره

ويراست

شماره رده

نشانه اثر

شماره رده

شماره رده

شماره رده

شماره رده

کد سيستم

کد سيستم

کد سيستم

کد سيستم

مستند نام اشخاص تاييد نشده

Kozen, Dexter,1951-

تاريخ عمليات

20200617082734.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y