Описано етапи синтезу, оптимізації і дослідження математичних моделей алго- ритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції.
There is describe by the stages of synthesis, optimization and study mathematical models of machine algorithmic component by the methods of algorithm algebra, decomposition and mathematical induction.
Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.
Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms
Модель інформаційної технології опрацювання формул алгоритмів описано розширеною алгеброю алгоритмів у вигляді рекурентно-декомпозиційної моделі. За ознакою функціонального призначення модель декомпоновано на субмоделі. Описано візуальну і функціональну підмоделі інформаційної технології. Наведено фрагмент програмної реалізації моделі.
Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі.
Algebra algorithms described model graphic window setting parameters compound uniterms. An implementation program model.
У розширення класичної алгебри алгоритмів, отримане введенням операції багатозначного елімінування, впроваджено нове розширення. На рівні алфавіту нововведеннями є впровадження в алфавіт спеціальних унітермів, якими є унітерм ознаки повернення у цикл та умовний унітерм циклу. На рівні означень операцій нововведеннями є аксіома введення і виносу унітерма в область дії операції циклічного секвентування, аксіома введення і винесення унітерма у та за область дії операції циклічного елімінування, аксіома введення і винесення унітерма у та за область дії операції циклічного паралелення.