Cargando…
Theory of automata, formal languages and computation
This book is aimed at providing an introduction to the basic models of computability to the undergraduate students. This book is devoted to Finite Automata and their properties. Pushdown Automata provides a class of models and enables the analysis of context-free languages. Turing Machines have been...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
New Age
2004
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1991951 |
| _version_ | 1780945795611099136 |
|---|---|
| author | Xavier, SPE |
| author_facet | Xavier, SPE |
| author_sort | Xavier, SPE |
| collection | CERN |
| description | This book is aimed at providing an introduction to the basic models of computability to the undergraduate students. This book is devoted to Finite Automata and their properties. Pushdown Automata provides a class of models and enables the analysis of context-free languages. Turing Machines have been introduced and the book discusses computability and decidability. A number of problems with solutions have been provided for each chapter. A lot of exercises have been given with hints/answers to most of these tutorial problems. |
| id | cern-1991951 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2004 |
| publisher | New Age |
| record_format | invenio |
| spelling | cern-19919512021-04-21T20:27:50Zhttp://cds.cern.ch/record/1991951engXavier, SPETheory of automata, formal languages and computationMathematical Physics and MathematicsThis book is aimed at providing an introduction to the basic models of computability to the undergraduate students. This book is devoted to Finite Automata and their properties. Pushdown Automata provides a class of models and enables the analysis of context-free languages. Turing Machines have been introduced and the book discusses computability and decidability. A number of problems with solutions have been provided for each chapter. A lot of exercises have been given with hints/answers to most of these tutorial problems.New Ageoai:cds.cern.ch:19919512004 |
| spellingShingle | Mathematical Physics and Mathematics Xavier, SPE Theory of automata, formal languages and computation |
| title | Theory of automata, formal languages and computation |
| title_full | Theory of automata, formal languages and computation |
| title_fullStr | Theory of automata, formal languages and computation |
| title_full_unstemmed | Theory of automata, formal languages and computation |
| title_short | Theory of automata, formal languages and computation |
| title_sort | theory of automata, formal languages and computation |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/1991951 |
| work_keys_str_mv | AT xavierspe theoryofautomataformallanguagesandcomputation |