News
Fehler auf Übungsblatt 3
Written: 19.11.2017 20:27
Written By: Marc Roth
In Aufgabe 3.5 des dritten Übungsblattes wurde über (WHILE1-)Berechenbarkeit von Sprachen gesprochen. Sprachen können allerdings (per Definition) nicht berechenbar, sondern nur entscheidbar, rekursiv aufzählbar, ... sein. Korrekterweise müsste in der Aufgabe von der (WHILE1-)Berechenbarkeit der charakteristischen Funktion von Sprachen gesprochen werden.