Pete
Anmeldungsdatum: 24.11.2005 Beiträge: 3
|
Verfasst am: 09. Dez 2005 09:41 Titel: Rekursiv Aufzählbar |
|
|
Hi,
also irgendwie habe ich die Def. von rekursiv aufzählbar immernoch nicht ganz verstanden. Kann die vielleicht mal jemand in einfachen unformalen Sätzen wiedergeben.
Wie kann ich z.B. zeigen, dass die Sprache
L:={<M>| M hält für mind. eine Eingabe}
rekursiv auzählbar ist oder nicht ?! |
|