Théorie des automates



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



Source : Wikipedia