Годлевский А. Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем

При моделюванні атрибутних транзиційних систем класи їх станів описано за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією операторів присвоювання та доведено, що трансформовані формули відповідають найсильнішим післяумовам. Особливістю роботи є можливість використання атрибутів функціонального типу в описах транзиційних систем, зокрема імен масивів.

PDF

Бібліографічний опис:
Годлевский А. Б.  Предикатные преобразователи в контексте символьного моделирования транзиционных систем. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 91-99. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468194