Летичевский А. А. Свойства предикатного трансформера системи VRS / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский (мл.), С. В. Потиенко, В. С. Песчаненко // Кибернетика и систем. анализ. - 2010. - 46, № 4. - С. 3-16. - Библиогр.: 19 назв. - рус.Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються атрибути простих числових символьних типів, функціональних типів, а також черги. В постумовах базових протоколів використовуються оператори присвоювання, оновлення черг та довільні формули. Для здійснення переходу із одного стану в інший побудовано предикатний трансформер як функцію перетворення формул. Доведено основну властивість предикатного трансформера, згідно з якою він обчислює найсильнішу постумову для символьних станів. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|