129
 правок
Изменения
м
Нет описания правки
   '''for''' i = 1 '''to''' <tex>\infty</tex>
     '''if'''  g(i) == x
       '''return'''  1
<tex> \Longleftarrow </tex>
Приведём программу, перечисляющую язык натуральных чисел:
<code>
 '''function'''  p(i: '''int'''): '''int'''
   '''return''' i
</code>
