| Record ID | marc_columbia/Columbia-extract-20221130-012.mrc:191980134:2866 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-012.mrc:191980134:2866?format=raw |
LEADER: 02866cam a2200325Ma 4500
001 5860766
005 20221121210059.0
008 060724s2006 nyua 000 0 eng d
020 $a0521848873
020 $a0521613248 (Pbk.)
024 3 $a9780521848879
024 3 $a9780521613248
035 $a(OCoLC)ocm70686767
035 $a(NNC)5860766
035 $a5860766
040 $aEQO$cEQO$dBAKER$dOrLoB-B
050 4 $aQA267$bAND
100 1 $aAnderson, James A.$q(James Andrew),$d1937-$0http://id.loc.gov/authorities/names/n96062598
245 10 $aAutomata theory with modern applications /$cJames A. Anderson ; with contributions by Tom Head.
260 $aNew York :$bCambridge :$bCambridge University Press,$c2006.
300 $aviii, 255 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references and index.
505 00 $g1.$tIntroduction -- $g2.$tLanguages and codes -- $g3.$tAutomata -- $g4.$tGrammars -- $g5.$tTuring machines -- $g6.$tA visual approach to formal languages -- $g7.$tFrom biopolymers to formal language theory -- $gApp. A.$tCardinality -- $gApp. B.$tCo-compactness lemma.
520 1 $a"Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the basic principles that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of regular languages and Kleene's theorem, minimal automata and syntactic monoids, Turing machines, and decidability. Together, these chapters explain the relationship between context-free languages and pushdown automata. They include topics not found in other texts at this level, including codes, retracts and semiretracts. The many examples and exercises help to develop the reader's insight. Chapter 6 introduces combinatorics on words and then uses it to describe a visually inspired approach to languages that is fresh but accessible area of current research. The final chapter explains recently developed language theory coming from developments in bioscience and DNA computing." "With over 350 exercises (for which solutions are available), plenty of examples and illustrations, this text will be welcomed by many students as a contemporary introduction to this core subjects; others, new to the field, will appreciate this account for self-learning."--BOOK JACKET.
650 0 $aMachine theory.$0http://id.loc.gov/authorities/subjects/sh85079341
650 0 $aFormal languages.$0http://id.loc.gov/authorities/subjects/sh85050802
700 1 $aHead, Thomas J.,$d1934-$0http://id.loc.gov/authorities/names/no2003068869
852 00 $boff,eng$hQA267$i.A63 2006g