Informatiker Board | Theoretische Informatik | formale sprachen

Informatiker Board » Themengebiete » Theoretische Informatik » formale sprachen » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 4 Beiträge
Tobias	Ganz allgemein: Du sollst hier eine Mengengleichheit zeigen. Mengengleichheiten zeigt man in fast allen Fällen, in dem man beide Inklusionen beweist. D.h. für die Mengen M und N gilt: $[latex]M = N \iff M \subseteq N \text{ und } N \subseteq M[/latex]$ Eine Inklusionsbeziehung $[latex]M \subseteq N[/latex]$ zeigt man, in dem man beweist: $[latex]x \in M \Rightarrow x \in N[/latex]$ . Analog zeigt man $[latex]N \subseteq M[/latex]$ durch $[latex]x \in N \Rightarrow x \in M[/latex]$ . Kann man eine Argumentationskette finden, die nicht nur Folgerungen sondern Äquivalenzen benutzt, also $[latex]x \in N \iff x \in M[/latex]$ , so hat man in einem Schritt erledigt. Und genau das tun wir in deinem Fall: Zu zeigen: $[latex](L_1 \circ L_2)^R = L_2^R \circ L_1^R[/latex]$ Es sei $[latex]x \in (L_1 \circ L_2)^R[/latex]$ $[latex]\iff \text{ es gibt } v=v_1\ldots v_s \in L_1, w=w_1\ldots w_k \in L_2[/latex]$ mit $[latex]\iff \text{ es gibt } u \in L_2, q \in L_1[/latex]$ mit $[latex]x = u^Rq^R \quad (\ast) [/latex]$ $[latex]\iff x \in L_2^R \circ L_1^R[/latex]$ Die Stelle (*) bedarf natürlich einer weitere Ausführung: $[latex]x = (vw)^R = (v_1\ldots v_s w_1 \ldots w_k)^R = w_k \ldots w_1 v_s \ldots v_1 = w^R v^R[/latex]$ , setze also
g0ju	kannst du mir vielleicht zeigen, wie ich es richtig aufschreibe bzw. kennst du eine seite im internet, auf der erklärt wird, wie man an solche beweise herangeht? ich muss ehrlich sagen, dass ich bis zu dieser aufgabe noch nie irgendwo irgendwas beweisen musste.
Tobias	Die Idee ist richtig. Aber formal, wie du schon sagtest, nicht. Bei solchen einfachen beweisen kommt es aber gerade darauf an, den Beweis formal richtig aufzuschreiben.
g0ju	formale sprachen Hallo, ich habe hier eine aufgabe, in der es um formale sprachen geht und in der ich einen "beweis" erbringen soll. folgender wortlaut: zeigen sie, dass für alle beliebigen sprachen $[latex]L_1, L_2 \subseteq A^*[/latex]$ gilt: $[latex](L_1 \circ L_2)^R = L_2^R \circ L_1^R[/latex]$ so, nun meine "lösung". ich bin mir im klaren, dass das mathematisch bestimmt alles andere als richtig und schön ist. es geht mir eigentlich nur darum, zu wissen, ob ich auf dem richtigen weg bin oder ob ich total falsch liege. erster schritt: $[latex](L_1 \circ L_2)^R = \{(w \circ v)^R \| w \in L_1, v \in L_2\} = \{(w_1 \dots w_n v_1 \dots v_n)^R \| w_{1 \dots n} \in w, v_{1 \dots n} \in v\} => \{v_n \dots v_1 w_n \dots w_1\}[/latex]$ zweiter schritt: $[latex]L_2^R \circ L_1^R = \{v^R \circ w^R \| v \in L_2, w \in L_1\} = \{(v_1 \dots v_n)^R \circ (w_1 \dots w_n)^R \| v_{1 \dots n} \in v, w_{1 \dots n} \in w \} => \{v_n \dots v_1 w_n \dots w_1\}[/latex]$ so, nun steht ja da als ergebnis dasselbe. reicht das aus und ist das alles so richtig? danke erstmal fürs reinschauen!