Beweis Rechtskongruenzrelationen

Neue Frage »

Auf diesen Beitrag antworten »
Prahlehans Beweis Rechtskongruenzrelationen

Also ich hab folgende Aufgabe:

Sei Sigma = {a,b,c} ein Alphabet. A und B seien vollständige DFAs und ~A und ~B die zu den Automaten gehörenden Rechskongruenzrelationen, ~L(A) und ~L(B) die zu den erkannten Sprachen gehörenden Rechtkongruenzrelationen. Beweisen oder widerlegen Sie folgende Aussagen:

1.) L(A) (Teilmenge) L(B) ==> ~A (Teilmenge) ~B
2.) ~L(A) (Teilmenge) ~L(B) ==> ~A (Teilmenge) ~B.

Wie kann man an diese Aufgaben rangehen? Ich hab da leider keine Idee...
Andere Frage auch noch nebenbei, kann ich auch mittels LaTeX hier meine Aufgabe reinstellen? das sieht echt kacke aus..
Danke schonmal
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »