https://minerve.ens-rennes.fr/index.php?action=history&feed=atom&title=Universalit%C3%A9_d%27un_langage_rationnel 2026-05-07T02:10:58Z Historique pour cette page sur le wiki MediaWiki 1.24.0 https://minerve.ens-rennes.fr/index.php?title=Universalit%C3%A9_d%27un_langage_rationnel&diff=2701&oldid=prev 2015-02-26T20:16:27Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Version précédente</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Version du 26 février 2015 à 20:16</td> </tr><tr><td colspan="2" class="diff-lineno">Ligne 13 :</td> <td colspan="2" class="diff-lineno">Ligne 13 :</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Floyd-Biegel</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Floyd-Biegel</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Poly cours Cachan complexité (L3) par Serge Haddad</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Poly cours Cachan complexité (L3) par Serge Haddad</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 909]]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category: Développement de la leçon 915]]</ins></div></td></tr> </table>

Mathias Millet https://minerve.ens-rennes.fr/index.php?title=Universalit%C3%A9_d%27un_langage_rationnel&diff=358&oldid=prev 2011-11-02T14:55:36Z

<p>Page créée avec « Ce développement montre que le problème d&#039;&#039;&#039;&#039;universalité d&#039;un langage rationnel&#039;&#039;&#039; ( est-ce que &lt;math&gt;L = \Sigma^*&lt;/math&gt; ? ) est PSPACE-complet. Pour des raisons de temp... »</p> <p><b>Nouvelle page</b></p><div>Ce développement montre que le problème d''''universalité d'un langage rationnel''' ( est-ce que &lt;math&gt;L = \Sigma^*&lt;/math&gt; ? ) est PSPACE-complet. Pour des raisons de temps le caractère PSPACE peut être admis ou mis dans le plan.<br /> <br /> == Le développement ==<br /> pdf : [[Fichier:Pb Universalité.pdf | &quot;Problème d'universalité&quot;]]<br /> <br /> == Recasements ==<br /> * 909 - Langages Rationnels. Exemples et applications. ( pour cause d'utilisation abusive des expressions rationnelles)<br /> * 915 - Classes de Complexité: exemples.<br /> * (913 - Machines de Turing. Applications.) <br /> * ?<br /> <br /> == Références ==<br /> * Floyd-Biegel<br /> * Poly cours Cachan complexité (L3) par Serge Haddad</div>

Basile