Розширення алгебри алгоритмів аксіомами операцій циклів
No Thumbnail Available
Files
Date
2010
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
У розширення класичної алгебри алгоритмів, отримане введенням операції багатозначного елімінування, впроваджено нове розширення. На рівні алфавіту нововведеннями є впровадження в алфавіт спеціальних унітермів, якими є унітерм ознаки повернення у цикл та умовний унітерм циклу. На рівні означень операцій нововведеннями є аксіома введення і виносу унітерма в область дії операції циклічного секвентування, аксіома введення і винесення унітерма у та за область дії операції циклічного елімінування, аксіома введення і винесення унітерма у та за область дії операції циклічного паралелення. In expanding the known classical algebra algorithms received meaningful input
operations elimination, introduced a new extension. At the level of innovation is the introduction of the alphabet in special unitermiv, what are the signs uniterm return cycle and conditional uniterm cycle. At the level of innovation definitions of operations is an axiom uniterma input and output in the region of the operation cyclic sequencing, axiom input and output uniterma in scope and with the operationcyclic elimination, input and output axioms uniterma in scope and operation cyclic paralleling.
Description
Keywords
алгебра, алгоритм, аксіома, унітерм, операція, цикл, algebra, algorithm, axiom, uniterm, operation cycle
Citation
Овсяк О. В. Розширення алгебри алгоритмів аксіомами операцій циклів / О. В. Овсяк // Вісник Національного університету "Львівська політехніка". – 2010. – № 685 : Комп'ютерні системи проектування. Теорія і практика. – С. 12–20. – Бібліографія: 14 назв.