Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Grammatik » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Zum Ende der Seite springen Grammatik
Beiträge zu diesem Thema Autor Datum
 Grammatik chaos0403x 02.12.2012 18:08
 RE: Grammatik Karlito 02.12.2012 18:54
 RE: Grammatik chaos0403x 02.12.2012 20:15
 RE: Grammatik Karlito 03.12.2012 14:44

Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
chaos0403x
Grünschnabel


Dabei seit: 26.11.2012
Beiträge: 3

Grammatik Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hab mal ne Frage, wie kann ich zeigen das die kontextsensitive und die expansive Grammatik der selben Sprachklasse angehören.

LG
02.12.2012 18:08 chaos0403x ist offline Beiträge von chaos0403x suchen Nehmen Sie chaos0403x in Ihre Freundesliste auf
Karlito Karlito ist männlich
Kaiser


Dabei seit: 11.04.2011
Beiträge: 1.461

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Ohne weiter darüber nachgedacht zu haben:

Teilmengenbeziehung in beide Richtungen. Zeige für alle möglichen Produktionen, dass sie auch in der jeweils anderen Sprache enthalten sind.

VG,

Karlito
02.12.2012 18:54 Karlito ist offline E-Mail an Karlito senden Beiträge von Karlito suchen Nehmen Sie Karlito in Ihre Freundesliste auf
chaos0403x
Grünschnabel


Dabei seit: 26.11.2012
Beiträge: 3

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Das hab ich an einem Beispiel schon gemacht, nur das mir die idee fehlt wie ich das formal und allgemein aufschreibe.
02.12.2012 20:15 chaos0403x ist offline Beiträge von chaos0403x suchen Nehmen Sie chaos0403x in Ihre Freundesliste auf
Karlito Karlito ist männlich
Kaiser


Dabei seit: 11.04.2011
Beiträge: 1.461

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hallo,

das ist leider keine Sache die mir leicht fällt und ich habe leider momentan wenig Zeit die Frage zu beantworten.

Deswegen hier ein schnell zusasmmengeschusterter Ansatz:

Die Richtung [latex]kontextsensitiv \subseteq expansiv[/latex] stelle ich mir recht einfach vor. Soweit ich es richtig in Erinnerung habe, sind die Produktionen kontextsensitiver Sprachen nicht verkürzend.

So kann man Argumentieren:
Alle Produktionen [latex](xAy \rightarrow xzy) \in Kontextsensitiv [/latex] sind auch in der Menge der expansiven Sprachen enthalten, da die Produktionen nicht verkürzend sind und somit [latex]|xAy| \leq |xzy|[/latex].

Der Fall [latex]S \rightarrow \epsilon[/latex] muss natürlich mit abgespeist werden.

Die Rückrichtung ist denke ich schwerer und da habe ich momentan auch (noch) keinen Ansatz.

Edit: Meistens ist es möglich vieles textuell zu beschreiben, solange es wasserdicht ist. Es muss oft nicht alles in Formeln gepackt werden, nur wenn es nötig und günstig ist.

VG,

Karlito
03.12.2012 14:44 Karlito ist offline E-Mail an Karlito senden Beiträge von Karlito suchen Nehmen Sie Karlito in Ihre Freundesliste auf
Baumstruktur | Brettstruktur
Gehe zu:
Informatiker Board » Themengebiete » Theoretische Informatik » Grammatik