https://minerve.ens-rennes.fr/index.php?action=history&feed=atom&title=Ind%C3%A9cidabilit%C3%A9_de_la_terminaison_d%27un_syst%C3%A8me_de_r%C3%A9%C3%A9criture 2026-05-07T03:28:35Z Historique pour cette page sur le wiki MediaWiki 1.24.0 https://minerve.ens-rennes.fr/index.php?title=Ind%C3%A9cidabilit%C3%A9_de_la_terminaison_d%27un_syst%C3%A8me_de_r%C3%A9%C3%A9criture&diff=2829&oldid=prev 2015-03-31T13:21:29Z

<p>Page créée avec « On montre que le problème de la terminaison d&#039;un système de réécriture est indécidable. ==Développement== *<a href="/index.php/Fichier:Pdf.png" title="Fichier:Pdf.png">24px</a> Média:dvt_termi... »</p> <p><b>Nouvelle page</b></p><div>On montre que le problème de la terminaison d'un système de réécriture est indécidable.<br /> <br /> ==Développement==<br /> *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_terminaison.pdf | Indécidabilité de la terminaison d'un système de réécriture.]]<br /> <br /> ==Référence==<br /> <br /> Baader Nipkow, Term rewriting and all that.<br /> <br /> == Recasements ==<br /> * [[913 -- Machines de Turing. Applications.]]<br /> * [[914 -- Décidabilité et indécidabilité. Exemples.]]<br /> * [[920 -- Réécriture et formes normales. Exemples.]]<br /> * [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]]<br /> <br /> [[Category: Développement de la leçon 913]]<br /> [[Category: Développement de la leçon 914]]<br /> [[Category: Développement de la leçon 920]]<br /> [[Category: Développement de la leçon 922]]</div>

Frédéric Valet