Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > I. Computing Methodologies  > I.0 GENERAL 
THE EXTENDED ALGEBRA OF ALGORITHMS WITH ADDITIONAL CYCLE ELIMINATION AXIOMATS
By: Volodymyr Ovsyak, Aleksandr Ovsyak (3520 reads)
Rating: (1.00/10)

Abstract: The existing, intuitive computation models, 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, all lack precise, mathematical formulation. Consequently, algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and reversing as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms. A useful extension is offered in terms of additional cycle elimination axiomats. A simple example illustrates the usefulness of the algebra of algorithms.

Keywords: Computation models, algorithms, algebra of algorithms, operations.

ACM Classification Keywords: I.0 General Literature

Link:

THE EXTENDED ALGEBRA OF ALGORITHMS WITH ADDITIONAL CYCLE ELIMINATION AXIOMATS

Volodymyr Ovsyak, Aleksandr Ovsyak

http://foibg.com/ibs_isc/ibs-24/ibs-24-p03.pdf

Print
I.0 GENERAL
article: THE EXTENDED ALGEBRA OF ALGORITHMS WITH ADDITIONAL CYCLE ELIMINATION AXIOMATS ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.09 secs ]   [ Memory usage: 7.50MB ]   [ GZIP Disabled ]   [ Server load: 0.22 ]
Powered by Tikiwiki CMS/Groupware