Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ena.lp.edu.ua:8080/handle/ntb/1338
Назва: Computation models and algebra of algorithms
Автори: Ovsyak, V. K.
Бібліографічний опис: Ovsyak K. V. Computation models and algebra of algorithms / K. V. Ovsak // Вісник Національного університету "Львівська політехніка". – 2008. – № 621 : Інформаційні системи та мережі. – С. 3-18. – Бібліографія: 21 назва.
Дата публікації: 2008
Видавництво: Видавництво Національного університету "Львівська політехніка"
Короткий огляд (реферат): An analysis of the existing, intuitive computation models is presented, that is the virtual machines of Turing, Post, Kolmogorov, Schönhage, 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.
URI (Уніфікований ідентифікатор ресурсу): http://ena.lp.edu.ua:8080/handle/ntb/1338
Тип вмісту : Article
Розташовується у зібраннях:Інформаційні системи та мережі. – 2008. – №621

Файли цього матеріалу:
Файл Опис РозмірФормат 
01.pdf172,93 kBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.