313
правок
Изменения
→Альтернативное доказательство с использованием теоремы о рекурсии
'''foreach''' <tex>x\in ~ \Sigma^* </tex> <span style="color:Green">//перебираем слова по возрастанию длины</span>
'''if''' <tex> K(x) > |p|</tex> <span style="color:Green">//теорема о рекурсии используется здесь</span>
'''printreturn'''<tex>(x)</tex> '''exit'''
</code>
