For example one may speak of languages decidable on a non-deterministic Turing machine.
למשל, אפשר לדבר על שפות כריעות במכונת טיורינג לא-דטרמיניסטית.