aufzählbar

==> Turing-Maschine

==> Abzählbarkeit

==> Entscheidbarkeit