Discussion:Forme normale de Chomsky
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Croissance de la longueur des mots et définition[modifier le code]
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)