« 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 1 : | Ligne 1 : | ||
[[Category:Vocabulary]] | |||
[[Category:Coulombe]] | |||
[[Category:Vocabulary]] | [[Category:scotty]] | ||
[[Category:Coulombe]] | |||
[[Category:scotty]] | |||
== Définition == | == Définition == | ||
| Ligne 13 : | Ligne 9 : | ||
Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. | Les automates n'ont pas d'existence physique, mais sont un modèle abstrait. | ||
== Français == | == Français == | ||
'''théorie des automates''' | '''théorie des automates''' | ||
== Anglais == | |||
'''Automata theory''' | |||
<small> | |||
[https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_automates Source : Wikipedia ] | [https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_automates Source : Wikipedia ] | ||
Version du 18 juin 2019 à 10:53
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
