Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, rpaskomid, Вы писали:

R>>Баг во втором пункте. Почему программ — счетное число? Это еще нужно доказать.

К>Это-то как раз справедливо. Множество программ — это подмножество конечных строк на конечном алфавите. А множество конечных строк — счётно.

Условие задачи не оговаривает уникальность множества программ.