Discuter:Algèbre de Kleene

Un article de Wikipédia, l'encyclopédie libre.

	Algèbre de Kleene fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

	Algèbre de Kleene fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

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

[modifier] Après traduction

Tout ou partie de cet article est issu de la traduction de l'article sous GFDL « (en) Kleene algebra » dans [../../../../../en/articles/k/l/e/Kleene_algebra.html?oldid=96403804 sa version du 8 janvier 2007 à 15:41 (CET)]. Consultez l'[../../../../../en/articles/k/l/e/Kleene_algebra.html?action=history historique de la page originale] pour connaître la liste de ses auteurs.