Monoïde syntaxique
- Monoïde syntaxique
-
Étant donné un langage formel 
sur l'alphabet A, son monoïde syntaxique est le quotient des mots A * par la relation d'équivalence 
. En d'autres termes, quels que soient les mots x et y construits sur l'alphabet A, la concaténation de x, u et y appartient au langage L si et seulement s'il en est de même pour la concaténation de x, v et y. La structure de monoïde est [u][v] = [uv].
Un langage est régulier si et seulement si son monoïde syntaxique est fini (Marcel-Paul Schützenberger).
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Monoïde syntaxique de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Automate fini — Pour les articles homonymes, voir Automate. Fig. 1 : Automate fini reconnaissant les écritures binaires des multiples de 3. Un automate fini (on dit parfois, par une traduction littér … Wikipédia en Français
Langage de Dyck — En informatique théorique, et plus spécialement en théorie des langages, les langages de Dyck sont des langages formels particuliers. Un langage de Dyck est l ensemble des mots bien parenthésés, sur un alphabet formé de parenthèses ouvrantes, et… … Wikipédia en Français
Langage rationnel — Les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes: ce sont les langages décrits par les expressions régulières ou rationnelles,d où le nom de langages réguliers; … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Marcel-Paul Schützenberger — Pour les articles homonymes, voir Schutzenberger. Marcel Paul Schützenberger (né le 24 octobre 1920 à Paris, mort le 29 juillet 1996 à Paris) est un scientifique français. Ses recherches ont d abord porté sur la médecine et la biologie, mais il… … Wikipédia en Français
Reecriture (informatique) — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Réécriture (arithmétique) — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Réécriture (informatique) — Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets syntaxiques (mots, termes,… … Wikipédia en Français
Système de réécriture — Réécriture (informatique) Pour les articles homonymes, voir Réécriture. La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets… … Wikipédia en Français
Théorie des automates — Pour les articles homonymes, voir Théorie et Automate. En informatique théorique, la théorie des automates est l étude de machines abstraites définissant un modèle de calcul[H 1]. Cette théorie est le fondement de branches très importantes de l… … Wikipédia en Français
