109
правок
Изменения
м
→Описание способа построения A
Аналогично предыдущему доказательству, сначала построим последовательность <tex>\tilde{f_i}</tex>, а затем, добавив таймер <tex>in^i</tex>, получим последовательность <tex>f_i</tex>.
===Описание способа построения <mathtex>A</mathtex>===
Упорядочим все слова по возрастанию длины. Разобьем всё <tex>\Sigma^{*}</tex> на множества
<tex>A_i</tex> так, что:
