Théorème de kleene
- Théorème de kleene
-
Théorème de Kleene
En théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel si et seulement s’il est reconnu par un automate fini. Ce théorème est dû à Stephen Kleene.
C'est un théorème essentiel des langages formels, puisqu'il fait le lien entre expression rationnelle et automate.
Voir aussi
- Portail des mathématiques
- Portail de l’informatique
Catégories : Théorème de mathématiques | Langage formel | Stephen Cole Kleene
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de kleene de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Theoreme de Kleene — Théorème de Kleene En théorie des automates, le théorème de Kleene affirme qu un langage est rationnel si et seulement s’il est reconnu par un automate fini. Ce théorème est dû à Stephen Kleene. C est un théorème essentiel des langages formels,… … Wikipédia en Français
Théorème de Kleene — Ne doit pas être confondu avec Théorème de récursion de Kleene ni Théorème du point fixe de Kleene. En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu un langage peut être décrit par… … Wikipédia en Français
Théorème de récursion de Kleene — Ne doit pas être confondu avec Théorème de Kleene ni Théorème du point fixe de Kleene. En théorie de la calculabilité plusieurs théorèmes dus à à Kleene sont appelés théorèmes de la récursion. Ils établissent l existence de points fixes… … Wikipédia en Français
Théorème du point fixe de Kleene — Ne doit pas être confondu avec Théorème de Kleene ni Théorème de récursion de Kleene. En mathématiques, dans le domaine de la théorie des ordres, le théorème du point fixe de Kleene, s énonce comme suit : Soient L un ordre partiel… … Wikipédia en Français
Théorème de l'étoile — Lemme de l étoile En théorie des langages, le lemme de l étoile (ou encore lemme d itération, lemme de pompage, pumping lemma en anglais) décrit une propriété essentielle de tout langage rationnel. Informellement, il établit que tout mot… … Wikipédia en Français
Theoreme de recursion de Kleene — Théorème de récursion de Kleene Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions… … Wikipédia en Français
Théorème de récursion de kleene — Le théorème de récursion de Kleene est un théorème important de la théorie de la calculabilité. Il permet d établir l égalité de fonctions calculables. Sommaire 1 Formulation avec les énumérations de fonctions récursives 2 Autre formes 3 … Wikipédia en Français
Theoreme d'incompletude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude — de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les… … Wikipédia en Français
Théorème d'incomplétude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français