Entscheidbarkeit

<=> Sprache, formale

<== Grammatiktheorie

<== Wissen und Wissensrepräsentation

==> Algorithmus

<== Komplexität

<=> Turing-Maschine

<== aufzählbar

<== Programmiersprachen

==> Kalkül

<== Planen