Discussion:Algèbre de Kleene

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Kleene algebra » dans sa version du 25/12/2006.

Consultez l'historique de la page originale pour connaître la liste de ses auteurs.

Cet article est indexé par les projets Mathématiques, Informatique théorique et Logique.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

**Évaluation** de l’article « **Algèbre de Kleene** »
Avancement	Importance
Bon début	Moyenne	Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)
	Faible	Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues)
	À évaluer	Logique (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.

J'ai blanchi l'article (page principale) pour le transformer en demande de traduction depuis WP en. Je colle ici l'ancien contenu :

L'exemple type d'une algèbre de Kleene est l'algèbre des langages réguliers sur un alphabet donné. La notion de relation est bien connue de ceux et celles qui ont étudié les mathématiques discrètes.

> Algèbre de Kleene
Posons e ≤ e pour e+e = e .
Les 13 lois suivantes sont vérifiées et définissent une algèbre de Kleene.
(1) e+f = f +e
(2) e+(f +g) = (e+f)+g
(3) e+0 = e
(4) e(fg) = (ef)g
(5) 1e = e1 = e
(6) e(f +g) = ef +eg
(7) (e+f)g = eg+fg
(8) 0e = e0 = 0 demi-anneau
(9) e+e = e
(10) 1+ee ∗= e∗
(11) 1+e ∗e = e∗
(12) f +eg ≤ g ⇒ e ∗f ≤ g
__(12’) eg ≤ g ⇒ e ∗g ≤ g
(13) f +ge ≤ g ⇒ fe ∗≤ g
__(13’) ge ≤ g ⇒ ge ∗≤ g

Les séries formelles forment une algèbre de Kleene ?[modifier le code]

Je ne comprends pas cet ajout. Les séries formelles ne vérifient pas a + a = a. Anne, 19/3/15

C'est une erreur de jeunesse faite il y a huit ans d'un jeune wikipédien.

. --Pierre de Lyon (discuter) 19 mars 2015 à 22:08 (CET)[répondre]