Prahlehans 
Grünschnabel
Dabei seit: 14.11.2009
Beiträge: 1
 |
|
| 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
|
|
