Temps actuel 0:00
Durée 0:00
Chargé: 0%
Type de flux EN DIRECT
Temps restant 0:00
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
    • Quality

    Licence Creative Commons Langages et preuves par contradiction du lemme de l'étoile

    17 novembre 2020
    00:15:25
    Nombre de vues 544
    Nombre d’ajouts dans une liste de lecture 0
    Nombre de favoris 0

    Langages rationnels ou Hors-Contexte. Exemples de preuves par l'absurde.

    Pour démontrer qu'un langage n'est pas rationnel, on fait souvent une démonstration par l'absurde contredisant le lemme de l'étoile.

    On peut aussi faire des démonstration par l'absurde avec la propriété de conservation de classes de langages par les homomorphismes de chaîne.

    Cette vidéo montre comment cela s'applique sur des variantes de langages à partir de celui des mots doublés.

     

    Mots clés : analyse syntaxique

    Commentaire(s)

    Supprimer définitivement votre commentaire ?