Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
2 results
Search Results
Item Модель конвертації абстрактних унітермів до типових графічних унітермів автоматів(Видавництво Львівської політехніки, 2012) Овсяк, В.; Козелко, М.Засобами алгебри алгоритмів описано модель побудови системи типових графіxних унітермів, призначених для конвертації абстрактного унітерма. Means algebra of algorithms described created a model of the system default image unitermiv designed to convert abstract uniterm.Item Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів(Видавництво Львівської політехніки, 2011) Овсяк, В.; Маркушевський, Т.; Петрушка, Ю.Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів. Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms.