Overleg:Formele grammatica

De formule onder "formele definitie", "productieregels": (Σ U N)^* N (Σ U N)^* → (Σ U N)^* Moet dat niet (Σ U N)^* X (Σ U N)^* → (Σ U N)^* zijn?

Volgens mij niet, dan wordt het toch een redelijk nutteloze afleiding? Ik denk dat er gewoon ergens een P (production rules)moet bijkomen--Matthiaspiens (overleg) 16 jan 2011 16:23 (CET)Reageren

U hebt gelijk. Ik ben niet zo vertrouwd met een notatie waarbij verzamelingen achter elkaar geplaatst worden zonder operator, vandaar dat ik dacht dat er een product bedoeld was, maar dat stemt inderdaad helemaal niet overeen met een production rule. Ik zie nu wat er uitgedrukt wordt (namelijk dat er ten minste één element van N in het linkerlid moet vermeld worden). --Philippe Leempoels (overleg) 16 jan 2011 17:06 (CET)Reageren