Witam,
Chciałem się upewnić czy dobrze rozumuje pewne definicje:
Język rekurencyjny - podklasa języków rekurencyjnie przeliczalnych, dla których MT da nam zawsze odpowiedź czy język L rekurencyjny jest akceptowany przez MT. (znaczy zawsze będzie akceptowany albo nie, nie wpadnie MT nigdy w pętle nieskończoną)
Język rekurencyjnie przeliczalny - język dla którego istnieje MT która może dać nam odpowiedź czy język L rekurencyjnie przeliczalny jest akceptowany przez MT(tak lub nie lub wpadnie w pętle nieskończoną)
i na podstawie powyższych i logikę:
dopełnienie języka rekurencyjnego: Język L zawierający słowa które nie są akceptowalne przez daną MT albo przy których MT wpadnie w pętle nieskończoną
dopełnienie języka rekurencyjnie przeliczalnego: język L zawierający słowa które nie są akceptowane
przez daną MT ?
Czy dobrze to zrozumiałem? Jeśli nie to jak to powinno być?