Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів
No Thumbnail Available
Files
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів. Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms.
Description
Keywords
модель, синтез, підсистема, функційний унітерм, унітерм, мінімізація, алгоритм, model, synthesis, subsystem, functional uniterm, uniterm, minimization, algorithm
Citation
Овсяк В. Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів / В. Овсяк, Т. Маркушевський, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2011. – № 694 : Комп’ютерні науки та інформаційні технології. – С. 303-308. – Бібліографія: 25 назв.