Привет!
Назрела пара вопросов, на которые пока не могу ответить:
1. Доказать или опровергнуть: Turing-recognizable язык может быть "занумерован" без повторений, то есть то есть одна и та же строка не пояляется на выходе дважды.
2. Доказать или опровергуть. Turing-recognizable язык замкнут относительно подмножества. Вроде бы не верно, а какой контр-пример?