Інформаційні системи та мережі. – 2008. – №621

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/2107

Вісник Національного університету "Львівська політехніка"

Статті, вміщені у збірнику, підготовлено за результатами закінчених науково-дослідних робіт з теоретичних основ інформатики, систем баз даних та знань, інформаційного моделювання, розподілених інформаційних систем та мереж. Для науковців, інженерно-технічних працівників, аспірантів, студентів вищих навчальних закладів.

Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка». – Львів : Видавництво Національного університету "Львівська політехніка", 2008. – № 621 : Інформаційні системи та мережі / відповідальний редактор В. В. Пасічник. – 259 с. : іл.

Browse

Filters

20081

Settings

Author: search.filters.author.Ovsyak, V. K.

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Computation models and algebra of algorithms
    (Видавництво Національного університету "Львівська політехніка", 2008) Ovsyak, V. K.
    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.