web address of the page
http://jnas.nbuv.gov.ua/article/UJRN-0000468194
Cybernetics and Systems Analysis 
А - 2019 /
Issue (2010, Т. 46, № 4)
Годлевский А. Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем
При моделюванні атрибутних транзиційних систем класи їх станів описано за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією операторів присвоювання та доведено, що трансформовані формули відповідають найсильнішим післяумовам. Особливістю роботи є можливість використання атрибутів функціонального типу в описах транзиційних систем, зокрема імен масивів.
Бібліографічний опис:
Годлевский А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 91-99. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468194
PDF
Transliteration