129
правок
Изменения
м
pseudocode improvements 2
'''for''' <tex> x \in A </tex>
'''if''' <tex> x + \varepsilon \notin A </tex>
'''return''' <tex>x</tex>
: Так как <tex> A </tex> разрешимо, <tex> \alpha = \sup A </tex> и для любого <tex> x \in A </tex> проверка в условном операторе завершается за конечное время, то функция <tex> a(\varepsilon) </tex> вычислима для любого рационального <tex> \varepsilon </tex>.
<tex> m = \dfrac{l+r}{2} </tex>
'''if''' <tex> m < \alpha</tex>
<tex>l = m, t = </tex> <tex>1</tex>
'''else'''
<tex>r = m, t = </tex> <tex>0</tex> '''return''' <tex>t</tex>
<tex> \Longleftarrow </tex>:
