Цахим шуудангийн бүртгэл: Теория рекурсивных функций и эффективная вычислимость