Розширення алгебри алгоритмів аксіомами операцій циклів
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Розширення алгебри алгоритмів аксіомами операцій циклів
|
|
| Creator |
Овсяк, О. В.
|
|
| Subject |
алгебра
алгоритм аксіома унітерм операція цикл algebra algorithm axiom uniterm operation cycle |
|
| Description |
У розширення класичної алгебри алгоритмів, отримане введенням операції багатозначного елімінування, впроваджено нове розширення. На рівні алфавіту нововведеннями є впровадження в алфавіт спеціальних унітермів, якими є унітерм ознаки повернення у цикл та умовний унітерм циклу. На рівні означень операцій нововведеннями є аксіома введення і виносу унітерма в область дії операції циклічного секвентування, аксіома введення і винесення унітерма у та за область дії операції циклічного елімінування, аксіома введення і винесення унітерма у та за область дії операції циклічного паралелення. 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. |
|
| Date |
2011-02-22T14:19:47Z
2011-02-22T14:19:47Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Овсяк О. В. Розширення алгебри алгоритмів аксіомами операцій циклів / О. В. Овсяк // Вісник Національного університету "Львівська політехніка". – 2010. – № 685 : Комп'ютерні системи проектування. Теорія і практика. – С. 12–20. – Бібліографія: 14 назв.
http://ena.lp.edu.ua:8080/handle/ntb/7518 |
|
| Language |
ua
|
|
| Publisher |
Видавництво Львівської політехніки
|
|