Discussion:Forme normale de Chomsky
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Langues 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 | Langues (discussion • critères • liste • stats • hist. • comité • stats vues) | |
| Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |||
En l’état, il est affirmé que « tout au long d'une dérivation, les longueurs des mots croissent », or la définition autorise éventuellement de générer le symbole non terminal S (l’axiome) avec une ou des règle(s) de type (1) ; y a-t-il donc un problème dans la définition où il faudrait préciser que Y et Z sont distincts de S ? Cependant, cela n’est peut-être pas le cas, car je constate (par exemple ici — voir la correction de la question 3) que S est bel et bien un candidat valable pour figurer dans le membre droit d’une règle de type (1)... — SniperMaské (discuter) 25 février 2014 à 00:54 (CET) Répondre