Privacy Policy Cookie Policy Terms and Conditions Diskussion:Greibach-Normalform - Wikipedia

Diskussion:Greibach-Normalform

aus Wikipedia, der freien Enzyklopädie

Was ist das????--HansG 18:54, 20. Feb 2004 (CET)

Ein sehr theoretischer Begriff, der leider erst eine gewisse Bedeutung erlangt, wenn man sich im Bereich Theoretische Informatik etwas vorgearbeitet hat. Stern 18:59, 20. Feb 2004 (CET)
AHA!--HansG 19:07, 20. Feb 2004 (CET)

Jungs, könnte man diese Dinge nicht für den Laien verständlich schreiben? --Felipe

Kann ich mir nur sehr schwer vorstellen. Diejenigen, die mit dem Artikel in Kontakt kommen, haben aber das nötige Vorwissen. Die Frage ist also, ob man es überhaupt allgemeinverständlicher formulieren muss, wenn es denn ginge. Stern !? 00:14, 4. Feb 2005 (CET)

Ich habe jetzt eine Einleitung formuliert. Jemand, der von dem Artikel nur Bahnhof versteht, sollte nun schon in der Einleitung merken, dass er hier falsch ist.--MKI 16:09, 26. Mär 2005 (CET)

Sollte man nicht den Sonderfall S \rightarrow \varepsilon (S Startsymbol) zulassen, um auch L=\{\varepsilon\} abzuhaken und alle kontextfreien Grammatiken zu erwischen?

Die Überführung von der Chomsky in die Greibach Normalform erscheint mir irgendwie ein wenig unsauber. Bei mir blieben einige Fragen offen. Was hat es mit der Nummerierung der Ai auf sich? Woher kommt diese? Ist sie wahllos oder muss sie nach einem bestimmten Schema vorgenommen werden? Ich habe in der Überschrift eine kurze Variablendeklaration hinzugefügt. Bei dem y war ich mir nicht sicher - wenn ich es jedoch richtig verstanden habe so war dieses auch eine Folge von Nichtterminalen. Eine etwas ausführlichere Beschreibung des Algorithmus fände ich sehr schön. So wie er jetzt ist finde ich ihn sehr unverständlich, da Variablen und Produktionen "aus dem Nichts" auftauchen ohne große Beschreibung. So wie er jetzt ist habe ich ihn leider nicht verstanden. --Horratio 16:35, 8. Feb 2006 (CET)

Der Abschnitt "Konstruktion der GNF" ist schwer verständlich, sehr unvollständig und teilweise falsch. Müsste man wohl ganz von vorne aufrollen. Leider weis ich auch nicht wie diese Mathecodes funktionieren. Also kann ich nicht viel dran machen. Man muüsste den Abschnitt löschen und ganz neu erstellen. --80.137.150.184 13:05, 25. Jun 2006 (CEST)

[Bearbeiten] 2 - Greibach Normalform

Ich habe den Abschnitt über "Eine strengere Version der Greibach Normalform" umbenannt in "2 - Greibach Normalform" (so wurde sie zumindest bei mir in der Vorlesung genannt) und den Text ein wenig umgeschrieben. --Horratio 16:49, 8. Feb 2006 (CET)

Und ich habe das wieder rückgängig gemacht. Den Bezeichner 2GNF sollten wir nur dann benutzen, wenn er in der Fachliteratur verbreitet ist. Dass ein einzelnes Vorlesungsskript dazu als Beleg nicht ausreicht, sollte klar sein.--MKI 19:08, 8. Feb 2006 (CET)
Buch von Prof. Dr. Norbert Blum, Theoretische Informatik - eine Anwendungsorientierte Einführung. Auf Seite 181 wird ganz explizit die 2GNF mit diesem Namen als solche eingeführt. Ich habe noch die Bücher von Baier und Schöning hier liegen welche nur die GNF einführen - ohne Erweiterung. Was jetzt "richtiger" ist kann ich leider nicht sagen. Ich überlasse es dir. --Horratio 19:42, 8. Feb 2006 (CET)
Im Schöning wird die strengere Variante schon erwähnt: Wir bemerken anschließend noch, dass man jede kontextfreie Grammatik so in Greibach Normalform umforman kann, dass auf der rechten Seite der Regeln nicht mehr als 2 Variablen vorkommen.
Es geht mir aber eigentlich weniger um die Abkürzung 2GNF (Informatiker scheinen derartigen Abkürzungen zu mögen, vgl. 3SAT), sondern um die Überschrift 2 - Greibach Normalform. Diese sah nicht gut aus, die Alternative Eine strengere Version der Greibach Normalform finde ich wesentlich besser. Wenn die Abkürzung 2GNF allgemein verbreitet ist, dann können und sollten wir sie im Artikel aufführen. Ich glaube aber nicht, dass sie sehr verbreitet ist. eine Google-Suche nach "GNF2 Greibach" liefert kein Ergebnis.--MKI 23:10, 8. Feb 2006 (CET)

[Bearbeiten] Spezialfall k=1

Hallo!

Wie im Artikel beschrieben ist k=1 ein spezialfall, da sich eine reguläre Sprache ergibt. Müsste man nicht auch noch k=0 hinzufügen?

Gruß!

[Bearbeiten] Halbwissen

Der Abschnitt mit dem "der Rest ist Halbwissen" klingt schlecht.

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu