allgemeines Halteproblem, ein Entscheidungsproblem, das bei gegebenen Zahlen n und x danach fragt, ob die Berechnung der n-ten Turing-Maschine, gestartet mit Eingabe x, irgendwann hält. Den Begriff ...

allgemeine Bezeichnung für ein Entscheidungsproblem, bei dem zwei Berechnungsformalismen, wie z. B. Turing-Maschinen, gegeben sind, und festgestellt werden soll, ob diese dieselbe Funktion berechnen ...

Immer am ersten Tag des Jahres werden urheberrechtlich geschützte Werke gemeinfrei. Welche Werke das sind, ist aber manchmal etwas kompliziert.