Passer au contenu principal
UFRIM²AG : Moodle
  • Français ‎(fr)‎
    English ‎(en)‎ Français ‎(fr)‎
Vous êtes connecté anonymement (Connexion)

INF 302 - Langages et automates

  1. Accueil
  2. Cours
  3. UGA
  4. L.S.T
  5. Licence 2
  6. INF 302
  7. Lecture Slides
  8. Chapter 10: Kleene's Theorem

Chapter 10: Kleene's Theorem

Conditions d’achèvement

Kleene’s Theorem

Translation from automata to regular expressions:

  • Equations associated with the states of an automaton.
    Arden’s Lemma.

  • State elimination method.

  • Equations associated with the paths of an automaton.

Translation from regular expressions to NFA and DFA:

  • Compositional translation to NFA.

  • Translation by computing the derived DFA of a regular expression.

◄ Chapter 9: Regular Expressions
Chapitre 2 : Notions préliminaires ►

Blocs

Passer Navigation

Navigation

  • Accueil

    • Pages du site

      • Mes cours

      • Tags

      • PagePrésentation de MOODLE

      • ForumAnnonces du site

    • Mes cours

    • Cours

      • UGA

        • UFRIM²AG

        • Polytech'

        • Antenne Valence

        • L.S.T

          • Licence 1 Informatique

          • Licence 2

            • MAT332

            • PAN431 (parcours MIN Int - S4)

            • MAT303

            • INF402/432

            • INF404

            • GES 401

            • INF401 Architectures des Ordinateurs

            • INF304

            • INF403

            • INF 302

              • Généralités

              • Informations Générales

              • Transparents du Cours

              • Lecture Slides

                • DossierChapter 6: Minimization

                • DossierChapter 7: Non-deterministic Automata

                • DossierChapter 8: Non-deterministic Automata with epsilon...

                • DossierChapter 9: Regular Expressions

                • DossierChapter 10: Kleene's Theorem

              • Illustrations

              • Travaux Dirigés

              • Tutorial Sessions (INF 332)

              • Examens Précédents

              • Quelques liens en rapport avec ce cours

            • MAT246

          • MAT103

        • IUT1

        • Cellule TICE

        • ED - Tests Multiples

        • HS GDG

        • mat351

        • Dev

        • Agreg PS

        • Programmation

        • STA301

        • ENGL3MI

        • ENGL3MIAGE

        • INF131

        • M1-MEEF_PS

      • Forum Entreprises

      • Entités extérieures

      • Divers et test

      • INP

Blocs supplémentaires

Vous êtes connecté anonymement (Connexion)
INF 302
  • Français ‎(fr)‎
    • English ‎(en)‎
    • Français ‎(fr)‎
Obtenir l’app mobile