Résultats de la recherche

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

• 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 Cook
  == Développement == *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_cook.tex | Théorème de Cook]]
  720 o (102 mots) - 26 février 2015 à 22:16
• 915 -- Classes de complexité : exemples.
  ...nk=Média:915_2012-2013.pdf|24px]] [[Média:915_2012-2013.pdf|Plan scanné de l'année 2012-2013]] ...nk=Média:915_2013-2014.pdf|24px]] [[Média:915_2013-2014.pdf|Plan scanné de l'année 2013-2014]]
  831 o (125 mots) - 22 avril 2022 à 10:35