Cargando…
Automata theory with modern applications /
Recent applications to bioscience have created a new audience for automata theory and formal languages. This is the only introduction to cover such applications. With over 350 exercises, many examples and illustrations, this is an ideal contemporary introduction for students; others, new to the fiel...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn607557660 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100416s2006 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLNG |d NRU |d OCLCQ |d IDEBK |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCF |d OCLCQ |d E7B |d REDDC |d OCLCQ |d EBLCP |d OCL |d OCLCQ |d COO |d OL$ |d OCLCQ |d LUN |d OCLCQ |d OCLCO |d INTCL |d UKAHL |d OCLCO |d OCLCQ | ||
| 019 | |a 171124385 |a 171139444 |a 647519175 |a 668199894 |a 741249170 |a 815738470 |a 819628115 |a 847969752 |a 1167837396 | ||
| 020 | |a 9780511648564 |q (electronic bk.) | ||
| 020 | |a 0511648561 |q (electronic bk.) | ||
| 020 | |a 0511224354 | ||
| 020 | |a 9780511224355 | ||
| 020 | |a 0511225024 | ||
| 020 | |a 9780511225024 | ||
| 020 | |a 9780511607202 |q (ebook) | ||
| 020 | |a 0511607202 | ||
| 020 | |a 9780521848879 |q (hardback) | ||
| 020 | |a 0521848873 | ||
| 020 | |a 9780521613248 |q (paperback) | ||
| 020 | |a 0521613248 | ||
| 029 | 1 | |a AU@ |b 000048759901 | |
| 029 | 1 | |a DEBSZ |b 379298686 | |
| 029 | 1 | |a DEBSZ |b 445554223 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:9910051173705765 | |
| 035 | |a (OCoLC)607557660 |z (OCoLC)171124385 |z (OCoLC)171139444 |z (OCoLC)647519175 |z (OCoLC)668199894 |z (OCoLC)741249170 |z (OCoLC)815738470 |z (OCoLC)819628115 |z (OCoLC)847969752 |z (OCoLC)1167837396 | ||
| 050 | 4 | |a QA267 |b .A53 2006eb | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.35 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Anderson, James A. |q (James Andrew), |d 1937- | |
| 245 | 1 | 0 | |a Automata theory with modern applications / |c James A. Anderson ; with contributions by Tom Head. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2006. | ||
| 300 | |a 1 online resource (viii, 255 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Cover -- Title -- Copyright -- Contents -- Preface -- 1 Introduction -- 1.1 Sets -- 1.2 Relations -- 1.3 Functions -- 1.4 Semigroups -- 2 Languages and codes -- 2.1 Regular languages -- 2.2 Retracts (Optional) -- 2.3 Semiretracts and lattices (Optional) -- 3 Automata -- 3.1 Deterministic and nondeterministic automata -- 3.2 Kleene's Theorem -- 3.3 Minimal deterministic automata and syntactic monoids -- Procedure -- 3.4 Pumping Lemma for regular languages -- 3.5 Decidability -- 3.6 Pushdown automata -- 3.7 Mealy and Moore machines -- 4 Grammars -- 4.1 Formal grammars -- 4.2 Chomsky normal form and Greibach normal form -- 4.3 Pushdown automata and context-free languages -- 4.4 The Pumping Lemma and decidability -- 5 Turing machines -- 5.1 Deterministic Turing machines -- 5.2 Nondeterministic Turing machines and acceptance of context-free languages -- 5.3 The halting problem for Turing machines -- 5.4 Undecidability problems for context-free languages -- 6 A visual approach to formal languages -- 6.1 Introduction -- 6.2 A minimal taste of word combinatorics -- 6.3 The spectrum of a word with respect to a language -- 6.4 The spectral partition of Sigma+ and the support of L -- 6.5 Visualizing languages -- 6.6 The sketch parameters of a language -- 6.7 Flag languages -- 6.8 Additional tools from word combinatorics -- 6.9 Counting primitive words in a regular language -- 6.10 Algorithmic sketching of regular languages -- 7 From biopolymers to formal language theory -- 7.1 Introduction -- 7.2 Constructing new words by splicing together pairs of existing words -- 7.3 The motivation from molecular biology -- 7.4 Splicing rules, schemes, systems, and languages -- 7.5 Every splicing language is a regular language -- 7.6 The syntactic monoid of a regular language L allows an effective determination of the set of all splicing rules that respect L -- 7.7 It is algorithmically decidable whether a given regular language is a reflexive splicing language -- Appendix A: Cardinality -- Appendix B: Co-compactness Lemma -- References -- Further reading -- Index. | |
| 520 | |a Recent applications to bioscience have created a new audience for automata theory and formal languages. This is the only introduction to cover such applications. With over 350 exercises, many examples and illustrations, this is an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Formal languages. | |
| 650 | 0 | |a Molecular computers. | |
| 650 | 0 | |a Machine theory |v Problems, exercises, etc. | |
| 650 | 0 | |a Formal languages |v Problems, exercises, etc. | |
| 650 | 0 | |a Molecular computers |v Problems, exercises, etc. | |
| 650 | 6 | |a Théorie des automates. | |
| 650 | 6 | |a Langages formels. | |
| 650 | 6 | |a Ordinateurs moléculaires. | |
| 650 | 6 | |a Théorie des automates |v Problèmes et exercices. | |
| 650 | 6 | |a Langages formels |v Problèmes et exercices. | |
| 650 | 6 | |a Ordinateurs moléculaires |v Problèmes et exercices. | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a Formal languages. |2 fast |0 (OCoLC)fst00932922 | |
| 650 | 7 | |a Machine theory. |2 fast |0 (OCoLC)fst01004846 | |
| 650 | 7 | |a Molecular computers. |2 fast |0 (OCoLC)fst01024771 | |
| 655 | 7 | |a Problems and exercises. |2 fast |0 (OCoLC)fst01423783 | |
| 700 | 1 | |a Head, Thomas J., |d 1934- | |
| 776 | 0 | 8 | |i Print version: |a Anderson, James A. (James Andrew), 1937- |t Automata theory with modern applications. |d Cambridge ; New York : Cambridge University Press, 2006 |z 9780521848879 |w (OCoLC)170025104 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=304515 |z Texto completo |
| 887 | |a ProductForm=DG |2 onix | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13426417 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL268233 | ||
| 938 | |a ebrary |b EBRY |n ebr10131566 | ||
| 938 | |a EBSCOhost |b EBSC |n 304515 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 183642 | ||
| 938 | |a YBP Library Services |b YANK |n 3289320 | ||
| 938 | |a YBP Library Services |b YANK |n 2619753 | ||
| 938 | |a YBP Library Services |b YANK |n 3278538 | ||
| 938 | |a YBP Library Services |b YANK |n 2592308 | ||
| 994 | |a 92 |b IZTAP | ||