La machine de Turing est un modèle théorique « équivalent » à un ordinateur.
Un des intérêt de ce modèle est qu’il apparaît au sommet d’une hiérarchie de modèles plus simples, la Hiérarchie des automates. hiérarchie des automates (de leur capacité de reconnaissance d’un sous-langage)
Dans cet article, on va s’intéresser aux automates finis. Représentation graphique d’un automate fini NB : Cet article ne vise pas à donner une présentation académique des automates finis. Celle-ci pourra être trouvée (...)