Als «semi-decidability» getaggte Fragen

2
Warum sind die Gesamtfunktionen nicht aufzählbar?
Wir haben etwas über das Konzept der Aufzählung von Funktionen gelernt. In der Praxis entsprechen sie Programmiersprachen. In einer Bemerkung erwähnte der Professor, dass die Klasse aller Gesamtfunktionen (dh die Funktionen, die immer für jede Eingabe enden) nicht aufzählbar ist. Das würde bedeuten, dass wir keine Programmiersprache entwickeln können, die …
3
Gibt es abzählbare Mengen, die nicht berechenbar sind?
Eine Menge ist zählbar, wenn sie eine Abweichung von den natürlichen Zahlen aufweist, und ist berechenbar aufzählbar (ce), wenn ein Algorithmus vorhanden ist, der ihre Mitglieder auflistet. Jede nicht endliche rechnerisch aufzählbare Menge muss abzählbar sein, da wir aus der Aufzählung eine Bijektion konstruieren können. Gibt es Beispiele für abzählbare …
3
Unentscheidbares Problem und seine Verneinung ist unentscheidbar
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und nicht halbentscheidbar sind? Ich habe über die Diagonalisierungssprache Ld …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.