IB102 – úkol 10, příklad 1 Odevzdání: 9. 12. 2013
Vypracoval(a): UČO:
Skupina:
1. [2 body] Dokažte, že následující jazyk není rekurzivní pomocí redukce z vhodného
nerekurzivního jazyka.
L = {<M> | |L(M)| = 1}
Tedy L je jazykem všech kódů Turingových strojů, které akceptují právě jedno slovo.
1