Berechenbarkeitsgrenze

Die Grenze, die Entscheidungsprobleme, Funktionen oder Sprachfragmente trennt, die effektive algorithmische Lösungen zulassen, von denen, die dies nicht tun, bezogen auf ein angegebenes formales Berechnungsmodell und eine definierte Auffassung von Effektivität.