Интерпретация рекурсивной схемы задается выбором начальных значений переменных и интерпретацией предикатов и функций аналогично обычным ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Анисимов А.В. Рекурсивные преобразователи информации


Интерпретация рекурсивной схемы задается выбором начальных значений переменных и интерпретацией предикатов и функций аналогично обычным схемам программ. Вычисление рекурсивной системы уравнений при заданной интерпретации осуществляется последовательной подстановкой вместо определяемых функций их эквивалентов, получаемых из правых частей рекурсивных уравнений и вычисления базисных заданных функций. Следует подчеркнуть, что при этом возникают некоторые трудности, связанные с порядком вычисления определяемых функций в случае, когда уравнения содержат вставленные определяемые функциональные символы. Оказывается, что порядок вычислений влияет на результат.

(cкачать страницу)

Смотреть книгу на libgen

Интерпретация рекурсивной схемы задается выбором начальных значений переменных и интерпретацией предикатов и функций аналогично обычным схемам программ. Вычисление рекурсивной системы уравнений при заданной интерпретации осуществляется последовательной подстановкой вместо определяемых функций их эквивалентов, получаемых из правых частей рекурсивных уравнений и вычисления базисных заданных функций. Следует подчеркнуть, что при этом возникают некоторые трудности, связанные с порядком вычисления определяемых функций в случае, когда уравнения содержат вставленные определяемые функциональные символы. Оказывается, что порядок вычислений влияет на результат.