Nouveauté
| Titre : | Introduction to Automata Theory, Languages, and Computation |
| Auteurs : | Ortega-Ruiz Maurcio Alberto, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Toronto Academic Press, 2025 |
| ISBN/ISSN/EAN : | 978-1-77956-301-9 |
| Format : | 195 p. / ill. / 25 cm |
| Langues: | Anglais |
| Langues originales: | Anglais |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Automata Theory ; Formal Languages ; Finite Automata ; Regular Languages ; Context-Free Grammars ; Turing Machines ; Computation Theory ; Decidability ; Computational Models ; Theory of Computation |
| Résumé : | Introduction to Automata Theory, Languages, and Computation by Mauricio Alberto Ortega Ruiz offers a clear and comprehensive foundation in the formal principles of computation that underpin computer science. The book systematically introduces key theoretical topics including finite automata and regular languages — which describe simple computational models and pattern recognition — and then advances to context-free grammars and pushdown automata that model the structure of programming languages. It also covers Turing machines as a powerful abstract model of computation and explores fundamental concepts such as decidability and computational limits, showing which problems can or cannot be solved by algorithms. By blending theoretical explanations with examples and practical insights, the text equips students and readers with the analytical tools needed to understand the mathematical fundamentals of computation, language recognition, and the theoretical underpinnings of how computers process information. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 25/228 | 004/2311/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
