Indécidabilité de la confluence et de la terminaison
On montre que le Problème de Correspondance de Post est indécidable.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 27 | Décidabilité et indécidabilité. Exemples.2022 |
Utilisateur : Timothée
Références :