Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів

No Thumbnail Available

Date

2011

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 назв.