Wikimonde
Accueil
Wiki
Index
Catégorie Calculabilité
Arborescence de l'informatique
·
Catégorie mère
Projet
Portail
Café
Arborescence des mathématiques
·
Catégorie mère
Projet
Portail
Café
Article principal :
Calculabilité
.
Sous-catégories (4)
Catégorie:Automate cellulaire
(23)
Catégorie:Personnalité en théorie de la calculabilité
(12)
Catégorie:Langage formel
(114)
Catégorie:Théorie des automates
(69)
La catégorie « Calculabilité » contient 119 articles.
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
Castor affairé
Principe de Church-Turing-Deutsch
Circuit booléen
Complexité de Kolmogorov
Complexité de Lempel-Ziv
Complexité pseudo-polynomiale
Constructivisme (mathématiques)
Continuation (informatique)
Corps réel clos
Correspondance de Curry-Howard
D
Décidabilité
Degré de Turing
Demi-groupe automatique
Déployeur universel
Déterminisme (calculabilité)
Diophantien
Distance algorithmique
Dixième problème de Hilbert
E
Ensemble récursif
Ensembles récursivement inséparables
Epsilon transition
Équivalence de Nerode
Évaluation paresseuse
Évaluation partielle
F
Fonction d'Ackermann
Fonction de Sudan
Fonction partielle
Fonction récursive
F
(suite)
Fonction récursive primitive
Fonction semi-calculable
Fonction totale
G
Grammaire contextuelle
Grammaire linéaire
H
Hiérarchie arithmétique
Hiérarchie de Chomsky
Hiérarchie de Grzegorczyk
Hypercalcul
L
Lambda cube
Lambda-calcul
Langage algébrique
Langage algébrique déterministe
Langage contextuel
Langage rationnel
Langage sans étoile
Lemme de Newman
Limite de Bremermann
Liste de problèmes indécidables
Logique combinatoire
M
Machine à compteurs
Machine à registres illimités
Machine abstraite
Machine de Blum-Shub-Smale
Machine de Krivine
Machine de Mealy
Machine de Moore
Machine de Turing
Machine de Turing probabiliste
Machine SECD
Théorème de Margolus-Levitin
Méthode de Brzozowski et McCluskey
Modèle de calcul
N
Nombre réel calculable
O
Oméga de Chaitin
Oracle (machine de Turing)
Ordinal récursif
P
Paire critique
P
(suite)
Parallel random access machine
Prédicat T et fonction U de Kleene
Problème de correspondance de Post
Problème de l'arrêt
Problème de recherche
Problème de satisfiabilité de circuit
Profondeur de Bennett
R
Random access machine
Récursivement énumérable
Réduction (complexité)
Réécriture (informatique)
Règles de réécriture
Résultats effectifs en théorie des nombres
S
Saut de Turing
Stratégie d'évaluation (informatique)
Structure de Kripke
Structure oméga-automatique
Substitution explicite
Suite de Specker
Système acceptable de programmation
Système de tague
Système T
T
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
Turing-complet
Turmite
V
Vers de Paterson
Ω
Ω-automate
Catégories
:
Informatique théorique
Logique mathématique