Étoile de Kleene

Étoile de Kleene

Fermeture de Kleene

Page d'aide sur l'homonymie Pour les articles homonymes, voir Fermeture.

La fermeture de Kleene, parfois appelée étoile de Kleene ou encore fermeture itérative, est un opérateur unaire utilisé pour décrire les langages formels. Appliquée à un ensemble V, elle a pour résultat le langage V^\star, défini ainsi :

  1. Si V est un alphabet, c'est-à-dire un ensemble fini de symboles ou caractères, alors V^\star est l'ensemble des mots sur V, mot vide ε inclus.
  2. Si V est un langage, alors V^\star est le plus petit langage qui le contienne, qui contienne {ε} et qui soit stable par concaténation (la concaténation de deux éléments de V^\star est également dans V^\star).

Exemple d'application de l'étoile de Kleene à un alphabet :

{'a', 'b', 'c'}* = {ε, « a », « b », « c », « aa », « ab », « ac », « ba », « bb », « bc », ...}

Exemple d'application de l'étoile de Kleene à un langage :

{« ab », « c »}* = {ε, « ab », « c », « abab », « abc », « cab », « cc », « ababab », « ababc », « abcab », « abcc », « cabab », « cabc », « ccab », « ccc », ...}

L'étoile de Kleene est l'un des trois opérateurs de base utilisés pour définir une expression rationnelle, avec la concaténation et l'union ensembliste.

On généralise souvent l'étoile de Kleene à tout monoïde (M,.), où V^\star, avec V\subset M, désigne la clôture de V par la loi « . », à laquelle on joint ε, l'élément neutre du monoïde. En d'autres termes V^\star est le plus petit ensemble contenant V \cup \{\epsilon\}, et stable par « . ». Il s'agit effectivement d'une généralisation, car l'ensemble des mots sur un alphabet est un monoïde dont la loi de composition interne est la concaténation, et l'élément neutre est le mot vide.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
  • Portail de l’informatique Portail de l’informatique
  • Portail de la logique Portail de la logique
Ce document provient de « Fermeture de Kleene ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Étoile de Kleene de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Etoile (homonymie) — Étoile (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Étoile (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Étoile (homonymie) », sur le Wiktionnaire (dictionnaire universel) Sommaire …   Wikipédia en Français

  • L'Etoile — Étoile (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • L'Étoile — Étoile (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • L'étoile — Étoile (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   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

  • Fermeture De Kleene — Pour les articles homonymes, voir Fermeture. La fermeture de Kleene, parfois appelée étoile de Kleene ou encore fermeture itérative, est un opérateur unaire utilisé pour décrire les langages formels. Appliquée à un ensemble V, elle a pour… …   Wikipédia en Français

  • Fermeture de kleene — Pour les articles homonymes, voir Fermeture. La fermeture de Kleene, parfois appelée étoile de Kleene ou encore fermeture itérative, est un opérateur unaire utilisé pour décrire les langages formels. Appliquée à un ensemble V, elle a pour… …   Wikipédia en Français

  • Fermeture de Kleene — Pour les articles homonymes, voir Fermeture. La fermeture de Kleene, parfois appelée étoile de Kleene ou encore fermeture itérative, est un opérateur unaire utilisé pour décrire les langages formels. Le nom vient de la notation employée: la… …   Wikipédia en Français

  • Algebre de Kleene — Algèbre de Kleene En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l un des deux concepts suivants : Un treillis ordonné et distributif avec une involution satisfaisant les lois de De… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”