Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Ovsyak V$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
Ovsyak V. K. Computation models and algebra of algorithms / V. K. Ovsyak // Вісн. Нац. ун-ту "Львів. політехніка". - 2008. - № 621. - С. 3-18. - Библиогр.: 21 назв. - англ.An analysis of the existing, intuitive computation models is presented, that is the virtual machines of Turing, Post, Kolmogorov, Schonhage, Aho - Ullman - Hopcroft as well as the algorithms of Markov and Krinitski, and the recursive functions. The need for tools of precise, mathematical formulation and possible transformation of the algorithms is indicated. Consequently, an algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and inverting as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Ovsyak V. The extended algebra of algorithms with multiconditional elimination / V. Ovsyak, A. Ovsyak // Вісн. Нац. ун-ту "Львів. політехніка". - 2010. - № 672. - С. 291-300. - Библиогр.: 22 назв. - англ.Вказано на відомі методи інтуїтивного опису алгоритмів, якими є віртуальні машини Т'юрінга, Поста, Колмогорова, Шонгаге, Ахо - Ульмана - Хопкрофта, а також алгоритми Маркова і Крініцкого та рекурсивні функції, засобами яких алгоритми описуються не формалізовано. Дефініцію розширеної алгебри алгоритмів надано за допомогою аксіоматичного методу. Алгебра базується на операціях секвентування, багатозначного елімінування, паралелення та реверсування, а також циклічного секвентування, циклічного елімінування та циклічного паралелення, які виконуються над унітермами. Розширення стосується введення операції багатозначного елімінування. Проілюстровано ефективність розширеної алгебри алгоритмів. Індекс рубрикатора НБУВ: З815.6
Рубрики:
Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ
|
|
|