Résultats de la recherche

Créer la page « Développement de la leçon 909 » sur ce wiki ! Voyez également les résultats de votre recherche.

• 909 -- Langages rationnels. Exemples et applications.
  ...nk=Média:909_2012-2013.pdf|24px]] [[Média:909_2012-2013.pdf|Plan scanné de l'année 2012-2013]] ...édia:909_2013-2014_bis.pdf|24px]] [[Média:909_2013-2014_bis.pdf|Plan bis de l'année 2013-2014]]
  4 Kio (561 mots) - 22 avril 2022 à 10:43
• 908 -- Automates Finis, exemples et applications
  #* Exemples de chaque type et leurs images par le théorème. ==== I.2 - Propriétés de clôtures et lemme d'itération ====
  3 Kio (492 mots) - 21 avril 2022 à 22:20
• Universalité d'un langage rationnel
  ...-ce que <math>L = \Sigma^*</math> ? ) est PSPACE-complet. Pour des raisons de temps le caractère PSPACE peut être admis ou mis dans le plan. == Le développement ==
  741 o (98 mots) - 26 février 2015 à 22:16
• Problème de séparation par automate
  On montre que le problème de séparatation de langages par automate (PSA) est NP-Complet. == Version de Kévin 2012 ==
  923 o (143 mots) - 27 mars 2015 à 13:52
• Théorème de Higman
  == Développement == *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman.tex | Théorème de Higman]]
  424 o (63 mots) - 31 mars 2015 à 14:54
• Arithmétique de Presburger
  * Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px [[Média:Presburger.tex | Fichier TeX de la démo du Théorème de Presburger]]
  711 o (118 mots) - 14 avril 2015 à 21:16
• Algorithme de Hopcroft
  [[Media: Hopcroft.pdf | Correction et Terminaison de Hopcroft ]] [[Media: Hopcroft.tex | Correction et Terminaison de Hopcroft (fichier .tex) ]]
  243 o (32 mots) - 12 novembre 2015 à 18:32