« Théorie des automates » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 23 : | Ligne 23 : | ||
[https:// | [https://en.wikipedia.org/wiki/Automata_theory Source : Wikipedia, Automata theory ] | ||
Version du 23 septembre 2019 à 12:01
Définition
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme la calculabilité, les automates finis, la théorie de la complexité des algorithmes, la vérification de modèle.
Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
Français
théorie des automates
Anglais
Automata theory
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
