„Letzten Endes stellt sie sogar eine vollständige Programmiersprache dar, die ''Turing-mächtig'' ist, d.h. in der regelrechte Programme formuliert werden können.“<ref>{{Literatur |Titel=Medieninformatik |TitelErg=Eine Einführung |Autor=Rainer Malaka, Andreas Butz, Heinrich Hußmann |Verlag=Pearson Studium |Ort=München |Jahr=2009 |ISBN=978-3-8273-7353-3 |Seiten=163 |Online=zitiert nach {{GBS|RSKuDzQb8A0C|PA163|Hervorhebung=Turing-mächtig}} |Zugriff=2014-06-19}}</ref>
''theoretische [[Informatik]], von einem [[Formalismus]]:'' in der Lage, alle mit [[Turingmaschine]]n beschreibbaren ([[Turing-berechenbar]]en) [[Funktion]]en auszudrücken