Изменения

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