Вариативность уточняющих преобразований конструктивно-продукционного моделирования

Loading...
Thumbnail Image
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
Київський національний університет імені Тараса Шевченка, Київ
Abstract
RUS: Предложена вариативность уточняющих преобразований конструктора, которая позволяет формализовать детерминированное и стохастическое взаимно-однозначное соответствие между конструкциями и/или конструктивными процессами различной природы. Что очень важно в области программирования для установления связи между программой и процессом ее выполнения.
UKR: Запропоновано варіативність уточнюючих перетворень конструктора, яка дозволяє формалізувати детерміновану і стохастичну взаємно-однозначну відповідність між конструкціями і / або конструктивними процесами різної природи. Що дуже важливо в області програмування для встановлення зв'язку між програмою і процесом її виконання.
ENG: The variability of refinement transformations of the designer is proposed, which allows one to formalize a deterministic and stochastic one-to-one correspondence between constructions and / or constructive processes of various nature. It is very important in the field of programming to establish the connection between the program and the process of its implementation.
Description
В. Шинкаренко: ORCID 0000-0001-8738-7225; К. Литвиненко: ORCID 0000-0003-3674-4194
Keywords
вариативность, грамматика, конструктивно-продукционное моделирование, сигнатура, варіативність, граматика, конструктивно-продукційне моделювання, variability, grammar, constructive-production modeling, signature, КІТ
Citation
Вариативность уточняющих преобразований конструктивно-продукционного моделирования / В. И. Шинкаренко, К. В. Литвиненко, Р. Р. Чигирь, А. А. Жадан // Теоретичні та прикладні аспекти побудови програмних систем (TAAPSD’2017) : матер. XIV Міжнар. наук.-практ. конф., Київ, 4–8.12.2017 р. / Київський нац. ун-т ім. Т. Шевченка. – Київ. – 2017. – С. 225–230.