Годлевский А. Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем / А. Б. Годлевский // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 91-99. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_9
При моделюванні атрибутних транзиційних систем класи їх станів описано за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією операторів присвоювання та доведено, що трансформовані формули відповідають найсильнішим післяумовам. Особливістю роботи є можливість використання атрибутів функціонального типу в описах транзиційних систем, зокрема імен масивів.
Цитованість авторів публікації:Годлевский А.
Бібліографічний опис для цитування:
Годлевский А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем / А. Б. Годлевский // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 91-99. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_9.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити
"Анкету науковця"
|