Условие согласования следов при элементарных сдвигах, выражающее процесс вычисления преобразователем Л, задает представляющий предикат РА ... - Большая Энциклопедия Нефти и Газа



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


Условие согласования следов при элементарных сдвигах, выражающее процесс вычисления преобразователем Л, задает представляющий предикат РА для локально-конечного свойства ФА - Условие обратимости переходов среды предохраняет от ложного согласования элемента следа в точке d с элементами следов в разных точках di и da, связанных с d одним и тем же переходом.

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

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

Условие согласования следов при элементарных сдвигах, выражающее процесс вычисления преобразователем Л, задает представляющий предикат РА для локально-конечного свойства ФА - Условие обратимости переходов среды предохраняет от ложного согласования элемента следа в точке d с элементами следов в разных точках di и da, связанных с d одним и тем же переходом.