Theoretical models of simple computing machines, known as automata, play a central role in theoretical computer science. This textbook presents an introduction to the theory of automata and to their connections with the study of languages. At the heart of the book is the notion that by considering a language as a set of words it is possible to construct automata which "recognize" words in the language. Consequently one can generate a correspondence between a hierarchy of machines and a corresponding hierarchy of grammars and languages. Professor Howie leads the reader from finite state automata through pushdown automata to Turing machines. He demonstrates the fundamental connections between automata and abstract algebra via the notions of syntactic monoid and minimal automaton. The author presupposes a basic familiarity with modern algebra, but beyond this the book is self-contained. As a result, the book should make valuable reading for students of mathematics and computer science approaching this subject for the first time.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Theoretical models of simple computing mahcines, known as automata, play a central role in theoretical computer science. This textbook presents an introduction to the theory of automata and to their connections with the study of languages. At the heart of the book is the notion that by considering a language as a set of words it is possible to construct automata which `recognize' words in the language. Consequently one can generate a correspondence between a hierarchy of machines and a corresponding hierarchy of grammars and languages. Professor Howie leads the reader from finite state automata through pushdown automata to Turing machines. He demonstrates clearly and elegantly the fundamental connections between automata and abstract algebra via the notions of syntactic monoid and minimal automaton. The author presupposes a basic familiarity with modern algebra, but beyond this the book is self-contained. As a result, the book will make ideal reading for students of mathematics and computer science approaching this subject for the first time.
'a deeply and rigorously mathematical text' Mike Holderness, New Scientist
'Highly readable and with many exercises (with solutions).' Mathematika
'The presentation is clear and rigorous, the precise definitions being preceded by introductory examples that motivate them ... presents two distinguishing features. First, it illustrates very nicely the use of algebraic notation and methods and, second, its final chapter covers important material not easily accessible to students. It is a very welcome addition to the literature and is recommended as a textbook with mathematical sophistication.' Paulo A.S. Veloso, The Computer Journal, Vol. 36, No. 6, 1993
'One finds all the essential facts on automata and formal languages. Style and form of presentation of this book give evidence of the beauty of applied algebra, not only for those who are interested in semigroup-theory.' H. Mitsch, Monashefte fur Mathematik, Vol. 116, No. 2, 1993
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 67657900-6
Quantité disponible : 1 disponible(s)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N° de réf. du vendeur OTV.0198534248.G
Quantité disponible : 1 disponible(s)