Algorithmus

==> Automat

<== Anytime-Algorithmus

<== Berechenbarkeit

<== Look-ahead

<== Rekursion

<=> Terminierung

==> nichtdeterministisch, Nichtdeterminismus

<== Informatik

<=> Programmiersprachen

<== Programm

<== Software

<== Kapselung

==> Systemevaluation

<== Modellierung, kognitive

<== Aussagenlogik

==> korrekt, Korrektheit

<== Bildverarbeitung

<== Wissen und Wissensrepräsentation

<== Muster, symbolische

<== Wissensebene

<== Experiment

<== Sprachverstehen, maschinelles

<== Grammatik, generative

==> Sprache, formale

<== Entscheidbarkeit

<== Wissenschaftstheorie, computationale