« Théorie des automates » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 4 : | Ligne 4 : | ||
[[Catégorie:Vocabulaire]] | [[Catégorie:Vocabulaire]] | ||
== Définition == | ==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 automata (pluriel d'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. | 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''' <small>loc. nom. fém.</small> | |||
==Anglais== | |||
== Anglais == | |||
'''Automata theory''' | '''Automata theory''' | ||
| Ligne 23 : | Ligne 21 : | ||
[https://en.wikipedia.org/wiki/Automata_theory | [https://en.wikipedia.org/wiki/Automata_theory Source : Wikipedia, Automata theory] | ||
Version du 23 septembre 2019 à 11:04
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 automata (pluriel d'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 loc. nom. fém.
Anglais
Automata theory
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
