Diskussion:Greibach-Normalform
Laienverständlichkeit
[Quelltext bearbeiten]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)
Das leere Wort Teil einer GNF-Sprache?
[Quelltext bearbeiten]Sollte man nicht den Sonderfall (S Startsymbol) zulassen, um auch abzuhaken und alle kontextfreien Grammatiken zu erwischen?
- Ja, à la Erk/Priese. Fände ich auch gut. -- UKoch Diskussion:Greibach-Normalform#c-UKoch-2011-08-09T22:56:00.000Z-Das leere Wort Teil einer GNF-Sprache?11
Überarbeitung: Konstruktion der GNF
[Quelltext bearbeiten]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 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 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)
2 - Greibach Normalform
[Quelltext bearbeiten]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)
Spezialfall k=1
[Quelltext bearbeiten]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ß!
- Geändert -- Murmeltier 01:28, 23. Jun. 2007 (CEST)
Halbwissen
[Quelltext bearbeiten]Der Abschnitt mit dem "der Rest ist Halbwissen" klingt schlecht.
Quellenangaben
[Quelltext bearbeiten]In Uwe Schöning "Theoretische Informatik kurz gefasst" steht zur Konstruktion der Geibach-Normalform nur "Wir erwähnen nur, dass die Konstruktion komplizierter ist, und dass der entsprechende Algorithmus exponentielle Laufzeit hat" (Seite 54, Korriegierter Nachdruck 1993). Der Algorithmus im referenzierten Skript hat nichts (oder zumindest nicht offensichtlich) mit dem beschriebenen Algorithmus zu tun. Außerdem widerspricht sich das Skript und Schöning bezüglich der Komplexität (exponentiell vs. O(R^3) (nicht signierter Beitrag von 78.50.197.41 (Diskussion | Beiträge) Diskussion:Greibach-Normalform#c-78.50.197.41-2010-03-14T12:08:00.000Z-Quellenangaben11)
- Im Skript von Prof. Dr. Dorothea Wagner wird auf S. 104 ein Verfahren beschrieben. Ich kann allerdings gerade nicht spontan sagen, ob dieses Verfahren äquivalent zu dem in diesem Artikel ist und welche Laufzeit es hat.
- edit: Auf S. 105 steht, dass Regel (i) mal angewandt wird, was ja in ist. --MartinThoma Diskussion:Greibach-Normalform#c-MartinThoma-2012-02-09T14:44:00.000Z-78.50.197.41-2010-03-14T12:08:00.000Z11
- Wieso ist in ? -- UKoch (Diskussion) Diskussion:Greibach-Normalform#c-UKoch-2012-05-03T16:37:00.000Z-MartinThoma-2012-02-09T14:44:00.000Z11
- Mit dem Algorithmus unter Binomialkoeffizient: Algorithmus zur effizienten Berechnung wird -mal die Rechnung (für ) ausgeführt. Die Berechnung von ist in durchführbar; das Ergebnis ist kleiner als , ebenso, daher ist die Division in (SRT-Division mit Schönhage-Strassen-Multiplikation) durchführbar. Ich würde also eher sagen, dass die Komplexität zur Berechnung von in liegt.
- Wieso ist in ? -- UKoch (Diskussion) Diskussion:Greibach-Normalform#c-UKoch-2012-05-03T16:37:00.000Z-MartinThoma-2012-02-09T14:44:00.000Z11
- EDIT: Hätte genauer lesen sollen… nicht die Komplexität der Berechnung von war gefragt, sondern ihre Größenordnung… stimmt sicherlich nicht, bereits . Allerdings ist im zitierten Skript von (nicht ) die Rede – dafür gilt dann allerdings … -- 80.171.218.233 Diskussion:Greibach-Normalform#c-80.171.218.233-2014-01-07T15:23:00.000Z-UKoch-2012-05-03T16:37:00.000Z11
Das im Artikel vorgestellte Verfahren funktioniert so gar nicht. Man betrachte die Grammatik:
Umnumerieren ändert die Grammatik nicht. Nach dem ersten Einsetzungsschritt:
Wir haben eliminiert, dafür aber erhalten. Fährt man fort erhält man
Es bleibt immer eine Produktion der Form übrig, das Verfahren terminiert also nicht. Vermutlich klappt es, wenn man die Linksrekursionen zuerst entfernt und die „vor“ den in die Numerierung „einfügt“, um danach erst die Produktionen einzusetzen. Solche Analysen wären aber nicht Aufgabe von Wikipedia. Ich fände es besser, entweder den Algorithmus ganz zu entfernen oder vorerst nur die Transformationen und ihren Zweck anzugeben und für Details stattdessen auf externe Literatur zu verweisen. --Carsten Milkau (Diskussion) Diskussion:Greibach-Normalform#c-Carsten Milkau-2015-08-28T14:33:00.000Z-Quellenangaben11
- Ich hab den Abschnitt über die Konstruktion der Greibach-Normalform überarbeitet. Einige Kommentare zu dieser Diskussion (falls noch jemand die Diskussion verfolgen sollte ;)):
- * In Uwe Schöning "Theoretische Informatik kurz gefasst" steht in der 5.Auflage eine Beschreibung des Algorithmus. Aus dem Vorwort geht hervor dass dieser Abschnitt in der 3.Auflage überarbeitet wurde.
- * Das erwähnte Skript folgt dem Buch von Ingo Wegener.
- * Beide Bücher beschreiben den gleichen Algorithmus aber in sehr unterschiedlicher Form. Wegener führt den Korrektheitsbeweis parallel zur Beschreibung des Algorithmus und führt entsprechend Invarianten etc ein. Schöning führt keinen Beweis und präsentiert nur den Algorithmus (das dafür aber in pseudocode).
- * Die Schranke im Wegener ist nur eine Schranke wie oft die beiden Methoden in Phase 1 aufgrufen werden. Diese Methoden haben aber keine konstante Laufzeit. Das impliziert also keine Schranke für die Laufzeit oder die Größe der resultierenden Grammatik in Greibach Normalform.
- -- Wdvorak (Diskussion) Diskussion:Greibach-Normalform#c-Wdvorak-2017-10-21T16:03:00.000Z-Carsten Milkau-2015-08-28T14:33:00.000Z11
Schöning-Quelle
[Quelltext bearbeiten]"Schöning, 2001" genügt als Quellenangabe nicht. Ist damit "Theoretische Informatik - kurzgefasst." mit der ISBN 3827410991 oder "Algorithmik" mit der ISBN 3827410924 gemeint? --MartinThoma Diskussion:Greibach-Normalform#c-MartinThoma-2012-02-09T14:15:00.000Z-Schöning-Quelle11
- Entweder ich habe mich gerade im Artikel getäuscht, oder jemand war sehr schnell.