Discussion catégorie:Modèle de calcul
Dernier commentaire : il y a 7 ans par Roll-Morton dans le sujet Une catégorie de l'espace principal, pour les «modèles de calcul»
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Une catégorie de l'espace principal, pour les «modèles de calcul»
modifierBonjour, en informatique théorique, il est souvent question de « modèle de calcul » (comme la machine de Turing), et ce serait bien d'avoir une catégorie associée. Comment gérer la collision avec cette catégorie de modèle ? --Roll-Morton (discuter) 27 juin 2016 à 09:11 (CEST)