Problem solving in automata, languages, and complexity / (Record no. 11083)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06922cam a2201033 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocm53229117 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125528.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 031017s2001 nyua ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| Canceled/invalid LC control number | 2001275892 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | N$T |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | N$T |
| Modifying agency | YDXCP |
| -- | OCLCQ |
| -- | ZMC |
| -- | OCLCQ |
| -- | N$T |
| -- | OCLCF |
| -- | DG1 |
| -- | BTCTA |
| -- | OCLCO |
| -- | EBLCP |
| -- | TEFOD |
| -- | IDEBK |
| -- | E7B |
| -- | NLGGC |
| -- | OCLCQ |
| -- | SLY |
| -- | OCLCQ |
| -- | TEFOD |
| -- | COO |
| -- | OCLCQ |
| -- | DG1 |
| -- | SUR |
| -- | LIP |
| -- | OCLCQ |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | INT |
| -- | OCLCQ |
| -- | U3W |
| -- | OCLCQ |
| -- | SFB |
| -- | VLY |
| -- | UKEHC |
| -- | OCLCO |
| -- | INARC |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCL |
| -- | OCLCQ |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER | |
| National bibliography number | GBA1-V2365 |
| 019 ## - | |
| -- | 77492153 |
| -- | 85820085 |
| -- | 122260749 |
| -- | 646791255 |
| -- | 839294785 |
| -- | 880335222 |
| -- | 961612389 |
| -- | 962704509 |
| -- | 984876511 |
| -- | 1053055867 |
| -- | 1162377342 |
| -- | 1200073495 |
| -- | 1285749747 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0471464082 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780471464082 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0471439606 |
| Qualifying information | (acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780471439608 |
| Qualifying information | (acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0471224642 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780471224648 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1280264748 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781280264740 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9786610264742 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 6610264740 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470321474 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470321478 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/0471224642 |
| Source of number or code | doi |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000024297773 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000056129971 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000927630 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480078742 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 400438747 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 14136055 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000075628589 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)53229117 |
| Canceled/invalid control number | (OCoLC)77492153 |
| -- | (OCoLC)85820085 |
| -- | (OCoLC)122260749 |
| -- | (OCoLC)646791255 |
| -- | (OCoLC)839294785 |
| -- | (OCoLC)880335222 |
| -- | (OCoLC)961612389 |
| -- | (OCoLC)962704509 |
| -- | (OCoLC)984876511 |
| -- | (OCoLC)1053055867 |
| -- | (OCoLC)1162377342 |
| -- | (OCoLC)1200073495 |
| -- | (OCoLC)1285749747 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | EBL215154 |
| Source of stock number/acquisition | eBook Library |
| Note | http://www.eblib.com |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | 8531CC0C-7884-423B-B1C3-3C4EDFF582EE |
| Source of stock number/acquisition | OverDrive, Inc. |
| Note | http://www.overdrive.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA267 |
| Item number | .D8 2001eb |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT |
| Subject category code subdivision | 016000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT |
| Subject category code subdivision | 018000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 22 |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | O141 |
| Number source | clc |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | TP23 |
| Number source | clc |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | TP311. 11 |
| Number source | clc |
| 084 ## - OTHER CLASSIFICATION NUMBER | |
| Classification number | TP301 |
| Number source | clc |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Du, Dingzhu. |
| 245 10 - TITLE STATEMENT | |
| Title | Problem solving in automata, languages, and complexity / |
| Statement of responsibility, etc. | Ding-Zhu Du, Ker-I Ko. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York : |
| Name of publisher, distributor, etc. | Wiley, |
| Date of publication, distribution, etc. | �2001. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (viii, 396 pages) : |
| Other physical details | illustrations |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (pages 387-388) and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | A practical introduction to essential topics at the core of computer scienceAutomata, formal language, and complexity theory are central to the understanding of computer science. This book provides, in an accessible, practically oriented style, a thorough grounding in these topics for practitioners and students on all levels.Based on the authors' belief that the problem-solving approach is the most effective, Problem Solving in Automata, Languages, and Complexity collects a rich variety of worked examples, questions, and exercises designed to ensure understanding and mastery of the subject matter. Building from the fundamentals for beginning engineers to more advanced concepts, the book examines the most common topics in the field, including:*Finite-state automata*Context-free grammars*Turing machines*Recursive and recursively enumerable languages*Computability theory*Complexity classes*NP-completenessFocused, practical, and versatile, Problem Solving in Automata, Languages, and Complexity gives students and engineers a solid grounding in essential areas in computer science. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Preface; 1 Regular Languages; 1.1 Strings and Languages; 1.2 Regular Languages and Regular Expressions; 1.3 Graph Representations for Regular Expressions; 2 Finite Automata; 2.1 Deterministic Finite Automata; 2.2 Examples of Deterministic Finite Automata; 2.3 Nondeterministic Finite Automata; 2.4 Converting an NFA to a DFA; 2.5 Finite Automata and Regular Expressions; 2.6 Closure Properties of Regular Languages; 2.7 Minimum Deterministic Finite Automata; 2.8 Pumping Lemmas; 3 Context-Free Languages; 3.1 Context-Free Grammars; 3.2 More Examples of Context-Free Grammars |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 3.3 Parsing and Ambiguity3.4 Pushdown Automata; 3.5 Pushdown Automata and Context-Free Grammars; 3.6 Pumping Lemmas for Context-Free Languages; 4 Turing Machines; 4.1 One-Tape Turing Machines; 4.2 Examples of Turing Machines; 4.3 Multi-Tape Turing Machines; 4.4 Church-Turing Thesis; 4.5 Unrestricted Grammars; 4.6 Primitive Recursive Functions; 4.7 Pairing Functions and G�odel Numberings; 4.8 Partial Recursive Functions; 5 Computability Theory; 5.1 Universal Turing Machines; 5.2 R. E. Sets and Recursive Sets; 5.3 Diagonalization; 5.4 Reducibility; 5.5 Recursion Theorem; 5.6 Undecidable Problems |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 6 Computational Complexity6.1 Asymptotic Growth Rate; 6.2 Time and Space Complexity; 6.3 Hierarchy Theorems; 6.4 Nondeterministic Turing Machines; 6.5 Context-Sensitive Languages; 7 NP-Completeness; 7.1 NP; 7.2 Polynomial-Time Reducibility; 7.3 Cook's Theorem; 7.4 More NP-Complete Problems; 7.5 NP-Complete Optimization Problems; References; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Z |
| 546 ## - LANGUAGE NOTE | |
| Language note | English. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal languages. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational complexity. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Th�eorie des automates. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Langages formels. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Complexit�e de calcul (Informatique) |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | MATHEMATICS |
| General subdivision | Infinity. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | MATHEMATICS |
| General subdivision | Logic. |
| Source of heading or term | bisacsh |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal languages. |
| Source of heading or term | cct |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational complexity. |
| Source of heading or term | cct |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Machine theory. |
| Source of heading or term | cct |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational complexity |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal languages |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Machine theory |
| Source of heading or term | fast |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science special topics. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ko, Ker-I. |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Problem solving in automata, languages, and complexity (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCGGqKRFMxMQYpGh3jMbMHd |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Du, Dingzhu. |
| Title | Problem solving in automata, languages, and complexity. |
| Place, publisher, and date of publication | New York : Wiley, �2001 |
| International Standard Book Number | 0471439606 |
| Record control number | (DLC) 2001275892 |
| -- | (OCoLC)48222937 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/0471224642">https://onlinelibrary.wiley.com/doi/book/10.1002/0471224642</a> |
| 938 ## - | |
| -- | Baker and Taylor |
| -- | BTCP |
| -- | BK0007317567 |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10272349 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 98968 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2298332 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2942871 |
| 938 ## - | |
| -- | Internet Archive |
| -- | INAR |
| -- | problemsolvingin0000dudi |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.
