Вісник Харків. нац. техн. ун-ту сіл. госп-ва ім. П. Василенка. - Харків : ЧП Червяк, 2011. - Вип. 110 : Ресурсозберігаючі технології, матеріали та обладнання у ремонт. виробництві. - С. 120-124.. - Библиогр.: с. 123-124.
(Шифр в БД -187167)
Рубрики:
Україна
Украина

Анотація:
В работе рассмотрен метод контроля синтаксической правильности управляющей программы, основаный на сохранении физических размерностей программых переменных. Установлено, что алгоритм вычисления неподвижной точки для оператора, ассоциированного с размерностной системой переходов, останавливается.
В роботі досліджено метод контролю синтаксичної правильності керуючої програми, оснований на збереженні фізичних розмірностей програмних змінних. Установлено, що алгоритм обчислення нерухомої точки для оператору, асоційованого з розмірностною системою переходів, зупиняється.