Catégorie:Calculabilité
Sous-catégories
Cette catégorie comprend les 5 sous-catégories suivantes.
Pages dans la catégorie « Calculabilité »
Cette catégorie contient les 119 pages suivantes.
A
- Algorithme de Markov
- Analyse de la complexité des algorithmes
- Automate à pile
- Automate cellulaire
- Automate d'arbres
- Automate de Büchi
- Automate de Muller
- Automate fini
- Automate fini alternant
- Automate fini déterministe
- Automate fini non déterministe
- Automate linéairement borné
- Automate probabiliste
- Automate séquentiel
- Automate sur les mots infinis
C
D
E
F
L
M
P
R
S
T
- Théorème d'Adian-Rabin
- Théorème d'itération
- Théorème de Matiiassevitch
- Théorème de Post
- Théorème de récursion de Kleene
- Théorème de Rice
- Théorème de Trakhtenbrot
- Théorie de la calculabilité
- Complexité implicite
- Théorie de la complexité (informatique théorique)
- Thèse de Church
- Transducteur fini
- Transduction rationnelle
- Turmite