Automat, endlicher

<=> Automat

<== Ausdruck, regulärer

<== Turing-Maschine

==> Automatentheorie

<== Zwei-Ebenen-Morphologie