Rekursiv Aufzählbar

Klasse von Mengen (Sprachen), für die es eine Turingmaschine gibt, die alle Elemente aufzählt oder äquivalent genau die Eingaben akzeptiert, die zur Menge gehören, indem sie auf ihnen hält und akzeptiert; bei Nicht-Mitgliedern kann die Maschine unendlich laufen.