Turing-Maschine

<=> Berechenbarkeit

<== aufzählbar

<== Maschine, universelle

<=> Komplexität

<== vollständig, Vollständigkeit

<== NP-komplex

<=> Churchsche These

==> Automat, endlicher

<=> Automat

==> nichtdeterministisch, Nichtdeterminismus

<=> Automatentheorie

==> Tupel (Paar, Tripel, Quadrupel, Quintupel)

<== Programmiersprachen

<== Maschinensprache

<== Programm

==> Kodierung

==> Zentraleinheit

<== Kognition

<== Produktionensystem

<== Übergangsnetzwerk, erweitertes

==> Sprache, formale

<=> Entscheidbarkeit

==> Menge, reguläre

<== Wahrnehmung