„Weil die Ausdruckskraft der Transitions-Beschriftungen und der Funktionen ''Turing-mächtig'' ist, kann ein Nachweis, dass jede Operation ein gültiges Resultat produziert, nicht vollständig (d.h. für alle möglichen Abläufe) erbracht werden.“<ref>{{Literatur |Titel=Rapid-Prototyping eingebetteter Systeme |Autor=Rudolf Mattmann |Verlag=Hochschulverlag an der ETH |Ort=Zürich |Jahr=1997 |ISBN=3-7281-2509-1 |Seiten=141 |Online=zitiert nach {{GBS|DjviwUc9Gu8C|PA141|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