Ich glaube es geht um Turing-Vollständigkeit.

Beschreibt eigentlich eine Sprache die alles machen kann was auch eine Turing-Maschine kann.

Betrifft im Prinz alle großen Programmiersprachen.