„Zellulare Automaten sind ''Turing-mächtig.'' Hierbei reicht bereits ein eindimensionaler Automat, der das Turingband simuliert.“<ref>{{Literatur |Titel=Emergenz, Selbstorganisation und Komplexität |Autor=Michael Köhler-Bußmeier |Sammelwerk=Selbstorganisation und Governance in künstlichen und sozialen Systemen |Herausgeber=Rolf von Lüde, Daniel Moldt, Rüdiger Valk |Verlag=Lit Verlag |Ort=Berlin |Jahr=2009 |ISBN=978-3-643-10057-3 |Seiten=44 |Online=zitiert nach {{GBS|BaaEFoFa0fMC|PA44|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