---

Geschrieben von Prahlehans am 14.11.2009 um 11:18:

  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