Skip to content

Milestones

List view

  • Quatrième Etape "émondé,minimal"

    Rendre un automate émondé Rendre un automate minimal. i.e. le nouvel automate reconnaît le même langage que l'automate original et a le nombre minimal d'états possible tout en respectant la première condition. Cela signifie qu'aucun état ne peut être supprimé de l'automate sans changer le langage qu'il reconnaît.

    Overdue by 1 year(s)
    •
    Due by January 11, 2024
    •1/2 issues closed
    50% complete1 open1 closed

  • Troisième Etape "Expression, langage et équivalence"

    Extraire une expression régulière à partir un automate donné Trouver le langage reconnu par un automate donné Vérifier si deux automates sont équivalents, i.e. ils reconnaissent les mêmes langages.

    Overdue by 1 year(s)
    •
    Due by January 4, 2024
    •0/4 issues closed
    0% complete4 open0 closed

  • Deuxieme Etape "Opération"

    implémentation des fonctionnalités suivantes: -complément d'un AEF -Miroir d'un AEF -Produit de deux AEF -Concaténation de deux AEF

    Overdue by 1 year(s)
    •
    Due by December 18, 2023
    •5/5 issues closed
    100% complete0 open5 closed

  • Première Etape determinisation

    Manipuler AEF Vérifier mot reconnu par AEF Vérifier complet Rendre complet Vérifier déterministe rendre déterministe

    Overdue by 1 year(s)
    •
    Due by December 3, 2023
    •5/7 issues closed
    71% complete2 open5 closed