L'étude des automates est l'étude des modèles mathématiques du calcul basés sur des configurations abstraites évoluant selon des règles précises. Le modèle le plus général est la machine de Turing, le modèle le plus restreint est l'automate fini.
Article principal : Théorie des automates.
Sous-catégories
Cette catégorie comprend les 2 sous-catégories suivantes.
A
Pages dans la catégorie « Théorie des automates »
Cette catégorie contient les 67 pages suivantes.
A
- Algorithme de Brzozowski de minimisation d'un automate fini
- Algorithme de Moore de minimisation d'un automate fini
- Analyse lexicale
- Analyse syntaxique
- Automate à jetons
- Automate à pile
- Automate à pile visible
- Automate à piles emboîtées
- Automate à piles intégrées
- Automate cheminant
- Automate d'arbres
- Automate d'arbres infinis
- Automate de Büchi
- Automate de Muller
- Automate de Parikh
- Automate fini
- Automate fini alternant
- Automate fini déterministe
- Automate fini déterministe bidirectionnel
- Automate fini inambigu
- Automate fini non déterministe
- Automate linéairement borné
- Algorithme de Hopcroft de minimisation d'un automate fini
- Minimisation d'un automate fini déterministe
- Automate pondéré
- Automate probabiliste
- Automate séquentiel
- Automate sur les mots infinis
- Automate temporisé
C
I
M
- Machine abstraite
- Machine de Blum-Shub-Smale
- Machine de Krivine
- Machine de Mealy
- Machine de Moore
- Machine de Turing
- Machine de Turing non ambigüe
- Machine de Turing non déterministe
- Machine de Turing probabiliste
- Machine de Turing universelle
- Méthode de Brzozowski et McCluskey
- Modèle de Markov caché
- Monoïde syntaxique
- Mot primitif
- Mot synchronisant
- Anca Muscholl
- Théorème de Myhill-Nerode