Catégorie:Modèle de calcul

Cette catégorie regroupe, en informatique théorique, les articles traitant des modèles théoriques de calcul et calculabilité.