1 |
Ackermann-FunktionBeispiel einer Funktion, die ☞ While-berechenbar, aber nicht ☞ Loop-berechenbar ist. Ihre Existenz beweist, dass die ☞ Loop-Sprache nicht an die Stärke der meisten anderen in diesem Buch diskutierten [..]
|
<< Abzählbarkeit | Allgemeinster Unifikator >> |