Математическая логика и теория алгоритмов

существует нормальный алгоритм, позволяющий вычислить значение для любых совокупностей значенийxj =Ус1, хг^къ..., х„=к„, при которых (?{к],к2 кп) существует. Если функция определена всюду, т.е. определена для любой совокупности значений своих аргументов и является частично вычислимой по Маркову, назовем ее вычислимой по М а р к о в у . Таким образом, «-аргументная функция (р вычислима по Маркову тогда и только тогда, когда существует нормальный алгоритм, позволяющий вычислить значение ф(х1,Х2.".А'и) для любых совокупностей значений в § 3 показано, что для всюду определенных арифметических функций У(х)=0, Vjc(X>0), Дх)=х+1, V A-(X >0) существуют нормальные алгоритмы, вычисляющие их значения (примеры 4, 5). Следовательно, эти функции являются вычислимыми по Маркову. Где началотогоконца, которым оканчивается начало? Козьма Прутков § 5. Замыкание, распространение нормального алгоритма Пусть - произвольный нормальный алгоритм в алфавите yi: Р\ ( ' fe Рг {')Q2 226