Discussion:Théorème de Chomsky-Schützenberger (langage formel)
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Informatique théorique et Mathématiques.
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.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues) |
 | Mathématiques (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.
version semi anneau ChomskySch?
modifierIl semblerait qu’il y ait des versions graphes de Chomsky Schutzenberger,
qui s’étendent à tous les étages de la hiérarchie de Caucal, appelée aussi hiérarchie à pile.
etage 0
graphe d’automate fini
etage 1
graphe d’automate à pile
étage 2
graphe d’automate à pile de pile
……
étage n
graohe d’automate à ( pile de )^{n-1} pile
metre en référence les travaux de Didier Caucal, Arnaud Carayol.
tous ces graphes ont une théorie monadique décidable. Ce qui généralise les travaux de Bruno Coucelle. 2A01:CB09:E001:16F4:E526:392F:80CD:B11C (discuter) 2 janvier 2023 à 11:16 (CET)