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