Entscheidbar und aufzählbar < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | Sei [mm] \Sigma [/mm] ein Alphabet und W [mm] \subseteq \Sigma [/mm] ^{*}. Zeigen Sie, dass W genau dann R-entscheidbar ist, wenn es ein Aufzählungsverfahren P für W gibt, welches die Elemente von W ohne Wiederholungen in lexikographischer Reihenfolge ausgibt. |
Kann mir da jemand helfen? Ich weiß, dass W genau dann R-entscheidbar ist, wenn es R-aufzählbar ist. Das haben wir in der Vorlesung gemacht...aber wie bring ich die lexikographische Ordnund jetzt da rein?
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt: http://matheplanet.com/matheplanet/nuke/html/viewtopic.php?topic=121981&start=0&lps=889316#v889316
|
|
| |
|
ok, das, was ich gedacht habe zu wissen, stimmt doch nich so ganz...
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Do 07.05.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
