0La chaleur
1Répondre
langues décidables (Modèles informatiques)
1La chaleur
1Répondre
Pouvons-nous décider si un nombre n appartient à un ensemble dénombrable S?
1La chaleur
1Répondre
Vérifiez si 2 langues sont Turing reconnaissables ou co-Turing reconnaissable
2La chaleur
2Répondre
Lean se plaint qu'il ne peut pas voir qu'une déclaration est décidable
0La chaleur
1Répondre
Montrer si cette langue est décidable ou indécidable
0La chaleur
1Répondre
qu'est-ce que c'est exactement l'arrêt dans les machines de turing?
2La chaleur
1Répondre
Est-ce que l'ordre de quantification du prénex est important dans le fragment de RPE?
0La chaleur
1Répondre
Proving décidabilité de sous-ensemble dans Agda
1La chaleur
1Répondre
Avoir un décideur décide {<M> | M est TM et | L (M) | = n}, construire un décideur décide n-1