Eine Sprache ist rekursiv aufzählbar, wenn eine Turingmaschine genau ihre Wörter akzeptiert.
Bei Wörtern außerhalb der Sprache darf sie verwerfen oder endlos laufen. Das entspricht Semi-Entscheidbarkeit.