Handbook of Mathematical Models for Languages and Computation
La théorie du calcul est utilisée pour relever les défis qui se posent dans de nombreux domaines de l'informatique tels que l'intelligence artificielle, les processeurs de langage, l'écriture de compilateurs, les systèmes d'information et de codage, la conception de langages de programmation, l'architecture des ordinateurs et bien d'autres encore. Pour comprendre les sujets relatifs à cette théorie, les lecteurs doivent se familiariser avec ses modèles de calcul et de langage, basés sur des concepts de mathématiques discrètes, notamment les ensembles, les relations, les fonctions, les graphes et la logique.
Ce manuel présente avec rigueur les concepts importants de ce type et les utilise pour couvrir les modèles mathématiques les plus importants pour les langues et l'informatique, tels que les divers automates et grammaires classiques et modernes. Il explique leur utilisation dans des sujets d'une importance cruciale pour la théorie du calcul, tels que la calculabilité, la décidabilité et la complexité du calcul.
Les auteurs accordent une attention particulière à la mise en œuvre de tous ces concepts et modèles mathématiques et expliquent clairement comment les encoder dans la pratique informatique. Tous les programmes informatiques sont écrits en C#.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)