Entscheidbarkeit < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:35 Mo 06.07.2009 | | Autor: | ftm2037 |
| Aufgabe | Beweise folgende Aussagen durch Angabe geeigneter Turingmaschine:
1) Sei L entscheidbar, dann ist [mm] \overline{L} [/mm] auch entscheidbar.
2) Seien [mm] L_{1} [/mm] und [mm] L_{2} [/mm] rekursiv aufzählbar, dann ist auch [mm] L_{1} \cup L_{2} [/mm] rekursiv aufzählbar. |
Hallo,
mir fällt nichts ein! Kann jemand mir vielleicht einen Ansatz geben?
Grüße
[Ich habe diese Frage in kein andares Forum gestellt.]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Mi 08.07.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
