Diskussion:Rechtslineare Grammatik

Ich glaube hier wurde rechts- und linkslinear vertauscht. In anderen Quellen

http://www.ifi.unizh.ch/CL/Glossar/rechtslineareGrammatik.html

http://www.uni-trier.de/uni/fb2/ldv/ldv_wiki/index.php/Rechtslineare_Grammatik

werden rechtslineare Grammatiken durch A->wB beschrieben

und linkslineare Grammatiken durch A->Bw.

Rechtslineare Grammatik und rechtslineare Normalform

Ich habe mich gewundert, dass in Wikipedia alle Normalformen stehen (Chomsky, Greibach, etc.) aber ich die rechtslineare Normalform nicht finden konnte. Ich wollte schon einen eigenen Artikel schreiben, bis mir aufgefallen ist, dass unter Rechtslineare Grammatik bereits die Normalform steht.

Im Artikel über die Chomsky-Hierarchie steht aber:

"Typ-3-Grammatiken werden auch reguläre Grammatiken genannt. Es handelt sich dabei um Typ-2-Grammatiken mit $\forall (w_{1}\rightarrow w_{2})\in P:(w_{1}\in N)\land$ $(w_{2}\in \Sigma \cup (\Sigma \cdot N\ {\dot {\lor }}\ N\cdot \Sigma )\cup \{\varepsilon \}).$"

Das heißt, dass die Regeln folgende Form haben müssten:

* A -> w
* A -> wB
* A -> ε

A,B sind Nichtterminale, w ein Terminal und ε das leere Wort.

( Wärend die Normalform haben müsste:

* A -> wB
* A -> ε

)

Zeile 1 fehlt also in den Produktionen beim Artikel über die Rechtslineare Grammatik aber beim Artikel über Chomsky-Hierarchie vorhanden.

Ich bitte darum, dass mir das jemand kurz bestätigt. Ich will ausschließen, dass ich mich in dem mathematischen Ausdruck oben verlaufen habe.

Danach kann dann die Änderung des Artikels und die Ergänzung der Rechtslinearen Normalform folgen. -- Honze 19:41, 11. Sep. 2007 (CEST)

Ich stimme dir zu --Murmeltier 19:54, 6. Okt. 2007 (CEST)