Automatentheorie

<== Informatik

<=> Automat

<=> Turing-Maschine

<== Automat, endlicher

==> deterministisch

<=> nichtdeterministisch, Nichtdeterminismus

==> Kellerautomat

<== Kybernetik

<== Kognition

<=> Informationsverarbeitung

<== Parsing natürlicher Sprache

==> Sprache, formale