Изменения

Перейти к: навигация, поиск

Разрешимые (рекурсивные) языки

1 байт добавлено, 23:25, 11 января 2015
м
Примеры разрешимых множества
'''if''' (<tex>r</tex> > 3)
'''return''' 0
'''for'''(i = 1 .. <tex>\infty </tex>)
'''if''' (getDigit(<tex>e</tex>, i) > getDigit(<tex>r</tex>, i)) <font color="green">// getDigit {{---}} функция, которая получает i-ый бит вещественной части переданного числа</font>
'''return''' 1

Навигация