Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch.
Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die die Sprache erzeugen, mehrdeutig und ansonsten eindeutig sind.
Ein Beispiel für eine deterministische, eindeutige Sprache ist die Sprache: Ein Beispiel für eine nicht deterministische, eindeutige Sprache ist die Sprache:
Ein Beispiel für eine inhärent mehrdeutige kontextfreie Sprache aus Wikipedia ist die folgende Vereinigung kontextfreier Sprachen, die ebenfalls kontextfrei sein muss:
Nun zu den Fragen:
- Ist bekannt, ob es eine deterministische, inhärent mehrdeutige kontextfreie Sprache gibt? Wenn ja, gibt es ein (einfaches) Beispiel?
- Ist bekannt, ob es eine nicht deterministische, inhärent mehrdeutige kontextfreie Sprache gibt? Wenn ja, gibt es ein (einfaches) Beispiel?
Da eine inhärent mehrdeutige kontextfreie Sprache existiert ( ist ein Beispiel), ist die Antwort auf eine dieser Fragen einfach, wenn bekannt ist, ob deterministisch oder nicht deterministisch ist. Ich nehme auch an, dass es wahr ist, dass es, wenn es ein deterministisches gibt, auch ein nicht deterministisches geben muss ... aber ich war vorher überrascht. Referenzen werden geschätzt und ich entschuldige mich im Voraus, wenn dies ein bekanntes, gefeiertes Ergebnis ist (in diesem Fall bin ich mir dessen überhaupt nicht bewusst).
Lesen Sie Wikipedia & die Antwort & Ihren Kommentar dazu, um (Q2) klar zu sagen, dass alle inhärent mehrdeutigen CFLs unter der Standarddefinition nicht deterministisch sein müssen (einschließlich Ihres eigenen Beispiels!). lief über diese ref
quelle