Изменения

Две '''вычислимые функции''' (англ. ''computable function'') <tex>f_1</tex> и <tex>f_2</tex> равны при заданных аргументах, если при этих аргументах вычисляющие программы для этих функций зависают, либо равны значения, возвращаемые ими.:*<tex>f_1(n) = f_2(n)</tex>*<tex>f_1(n) = \bot</tex> и <tex> f_2(n) = \bot</tex>