Методологія синтезу моделей алгоритмічної складової автоматів

No Thumbnail Available

Date

2012

Journal Title

Journal ISSN

Volume Title

Publisher

Видавництво Львівської політехніки

Abstract

Описано етапи синтезу, оптимізації і дослідження математичних моделей алгоритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції. There is describe by the stages of synthesis, optimization and study mathematical models machine algorithmic component by the methods of algorithm algebra, decomposition and mathematical induction..

Description

Keywords

метод, методологія, модель, інформаційна технологія, декомпозиція, секвентуння, елімінування, паралелення, функційний унітерм, унітерм, method, methodology, model, information technology, decomposition, sequentization, elimination, parallelization, function uniterm, uniterm

Citation

Драган Я. Методологія синтезу моделей алгоритмічної складової автоматів / Я. Драган, В. Овсяк, О. Овсяк // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 215–221. – Бібліографія: 11 назв.