1
Quel est le modèle de calcul le plus simple pour lequel le problème de vide est indécidable?
Quel est le modèle de calcul le plus simple pour lequel le problème de vide est indécidable? Le problème de vide pour un modèle de calcul (par exemple automate à états finis, automate à poussée alternée, automate quantique à erreurs bornées avec compteur, LBA déterministe, etc.) est de déterminer si, …