 Thema: Typ 1 Grammatik angeben |
|
|
Passt alles ganz gut.
Das ist der Hammer wäre überhaupt nicht darauf gekommen , nicht schlecht danke für den Beitrag.
|
|
| Thema: Typ 1 Grammatik angeben |
|
|
S-> aSbbC |abbcccc
so läßt sich doch
aabbccccbbC erstellen dies ist aber nicht in der Sprache.
Werde die Lösung der Übungsgruppe demnächst hier präsentieren.
|
|
| Thema: Typ 1 Grammatik angeben |
|
|
Hallo,
habe ein Problem ich möchte zu L={a^i b^j c^k | i,j,k >= 1 und (2i=j und 2j=k)}
eine Grammatik vom Typ 1 (kontextsensitiv) angeben, die die Sprache L erzeugt.
Ich versuch dies mit Abbildungen finde aber nix wegen der abhängigkeit von einander.
Also für a^n b^2n
a^n b^2n kriege ich das noch hin durch
S-> aSbb |abb
Aber mir fällt nix für
a^n b^2n c^4n ein .
|
|
| Thema: CNF ChomskynormalForm |
|
|
Hallo
möchte mich gerne absichern und euch meine Lösung presenteiren:
Die Grammaitk G =({a,b,c},{S,A,B,C},S,P) besitze die folgende Menge P von Produktionen:
S-->AaB
S-->BbC
A-->CaB
A-->a
B-->Abc
B-->b
C-->S
C-->c
Formen Sie die Grammatik G in eine äquivalente Grammatik G' in Chomsky-Normalform um.
Meine Lösung:
S-->A X_a , X_a-->A_a B
S-->B X_b , X_b-->B_b C
A-->C X_a
A-->a
B-->A X_b
B-->b
C-->A X_a (hier bin ich mir nich sicher ob dies überhaubt nötig ist)
C-->c
|
|
| Thema: Minimalautomaten |
|
|
Hallo habe einen DFA den ich in einen Minimalautomaten umwandeln muß.
Während des lösens bin ich auf ein Problem gestoßen.
Zu Beginn markiere ich in der Tabelle alle Paare {z, z'} mit z element F <-> z' nicht element F .
danach Prüfe ich die Markierung.
Mein Problem ist nun: prüfe ich nur mit denenen die ich zu Beginn markiert habe oder auch mit denen die ich im nachhinein hinzumarkiert habe.
Hoffe ist konte mein Problem nachvollziehbar schildern.
Gruß Pampelmuse
|
|
| Thema: Akzeptierte Sprache gesucht |
|
|
Hallo,
habe hier Eine Übertragungsfunfktion eines DFA's angehängt M=({a,b},{z_0,...,z_4},Delta,z_1,{z_3})
und für dieses eine Akzeptierte Sprache gefunden. Vielleicht sieht ihr euch das mal an.
L(M)={b*aa*bb*(a*b)*b*}
|
|
| Thema: Reguläre Sprachen Beweis |
|
|
OK zunächst mal die Vereinigung:
| Zitat: |
Original von ed209
Sei ![[latex]A \in M[/latex]](http://www.matheboard.de/latex2png/latex2png.php?A \in M) und ![[latex]B \in M[/latex]](http://www.matheboard.de/latex2png/latex2png.php?B \in M) |
mit
A=(a_1,a_2,...,a_n) regulär und B=(b_1,b_2,...,b_n) regulär
=>
(a_1,a_2,...,a_n) |(b_1,b_2,...,b_n) sind regulär
=>
(a_1,a_2,...,a_n) Schnitt(b_1,b_2,...,b_n) sind regulär
=>
A Schnitt B regulär und element M
|
|
| Thema: Reguläre Sprachen Beweis |
|
|
Hi,
rechtslineare und linkslineare Grammatiken =>
G = {Sum,N, P, S}
A->wB
oder
A->Bw
oder
C->epsilon
wobei A, B und C Nichtterminalsymbole aus N und w ein Terminal aus Sum ist.
|
|
| Thema: Reguläre Sprachen Beweis |
|
|
Hallo,
hab folgendes Problem , komme nicht weiter bzw. hab keine Idee
Beweisen Sie, dass die Klasse der regulären Sprachen unter den Operationen Durschnitt und Komplement abgeschlossen ist.
Gibt es noch andere Operationen, unter denen REG abgeschlossen ist?
|
|
|
