52
Formale Systeme (Subject) / Automaten (Lesson)
- Wann gehört eine Sprache zu L0? Eine Sprache L gehört zu L0 gdw. sie Turing-akzeptierbar ist.
- Wenn eine Sprache L erkennbar ist, gibt es so einen ε-NEA mit L(A) =L ? Ja, da nach Definition eine Sprache erkennbar ist, sobald es einen NEA gibt. Laut Definition 1.8 gibt es ebenso zu jedem NEA einen entsprechenden ε-NEA.