« Théorie des automates » : différence entre les versions
m (Remplacement de texte — « <small>loc. nom. fém.</small> » par « <small> féminin </small> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 5 : | Ligne 5 : | ||
==Français== | ==Français== | ||
'''théorie des automates''' | '''théorie des automates''' | ||
==Anglais== | ==Anglais== | ||
'''Automata theory''' | '''Automata theory''' | ||
==Sources== | |||
[https://en.wikipedia.org/wiki/Automata_theory Source: Wikipedia, ''Automata theory''] | [https://en.wikipedia.org/wiki/Automata_theory Source: Wikipedia, ''Automata theory''] | ||
Dernière version du 28 janvier 2024 à 15:16
Définition
La théorie des automates est l’étude des machines abstraites et des automates, ainsi que des problèmes de calcul qu’ils peuvent résoudre. C'est une théorie en informatique théorique et en mathématiques discrètes. Le mot automate vient du mot grec αὐτόματα, qui signifie « se fabriquer soi-même ».
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.
Français
théorie des automates
Anglais
Automata theory
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
