Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897156974> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2897156974 abstract "The existing, intuitive computation models, 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, all lack precise, mathematical formulation.Consequently, an 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 multiconditional elimination. An exampleillustrates the usefulness of the algebra of algorithms. Вказано відомі методи інтуїтивного опису алгоритмів, якими є віртуальні машини Т’юрінга, Поста, Колмогорова, Шонгаґе, Ахо-Ульмана- Хопкрофта, а також алгоритми Маркова і Крініцкого та рекурсивні функції, засобами яких алгоритми описуються не формалізовано. Дефініцію розширеної алгебри алгоритмів подано аксіоматичним методом. Алгебра базується на операціях секвентування, багатозначного елімінування, паралелення і реверсування, а також циклічного секвентування, циклічного еліміну-вання та циклічного паралелення, які виконуються над унітермами. Розширення торкається введення операції багатозначного елімінування. Прикладом проілюстрована ефективність розширеної алгебри алгоритмів." @default.
- W2897156974 created "2018-10-26" @default.
- W2897156974 creator A5076459419 @default.
- W2897156974 creator A5077321136 @default.
- W2897156974 date "2010-01-01" @default.
- W2897156974 modified "2023-09-28" @default.
- W2897156974 title "The extended algebra of algorithms with multiconditional elimination" @default.
- W2897156974 hasPublicationYear "2010" @default.
- W2897156974 type Work @default.
- W2897156974 sameAs 2897156974 @default.
- W2897156974 citedByCount "0" @default.
- W2897156974 crossrefType "journal-article" @default.
- W2897156974 hasAuthorship W2897156974A5076459419 @default.
- W2897156974 hasAuthorship W2897156974A5077321136 @default.
- W2897156974 hasConcept C110812573 @default.
- W2897156974 hasConcept C11413529 @default.
- W2897156974 hasConcept C119857082 @default.
- W2897156974 hasConcept C134306372 @default.
- W2897156974 hasConcept C136119220 @default.
- W2897156974 hasConcept C167729594 @default.
- W2897156974 hasConcept C199360897 @default.
- W2897156974 hasConcept C202444582 @default.
- W2897156974 hasConcept C2524010 @default.
- W2897156974 hasConcept C2778029271 @default.
- W2897156974 hasConcept C29248071 @default.
- W2897156974 hasConcept C33923547 @default.
- W2897156974 hasConcept C41008148 @default.
- W2897156974 hasConcept C45374587 @default.
- W2897156974 hasConcept C98763669 @default.
- W2897156974 hasConceptScore W2897156974C110812573 @default.
- W2897156974 hasConceptScore W2897156974C11413529 @default.
- W2897156974 hasConceptScore W2897156974C119857082 @default.
- W2897156974 hasConceptScore W2897156974C134306372 @default.
- W2897156974 hasConceptScore W2897156974C136119220 @default.
- W2897156974 hasConceptScore W2897156974C167729594 @default.
- W2897156974 hasConceptScore W2897156974C199360897 @default.
- W2897156974 hasConceptScore W2897156974C202444582 @default.
- W2897156974 hasConceptScore W2897156974C2524010 @default.
- W2897156974 hasConceptScore W2897156974C2778029271 @default.
- W2897156974 hasConceptScore W2897156974C29248071 @default.
- W2897156974 hasConceptScore W2897156974C33923547 @default.
- W2897156974 hasConceptScore W2897156974C41008148 @default.
- W2897156974 hasConceptScore W2897156974C45374587 @default.
- W2897156974 hasConceptScore W2897156974C98763669 @default.
- W2897156974 hasLocation W28971569741 @default.
- W2897156974 hasOpenAccess W2897156974 @default.
- W2897156974 hasPrimaryLocation W28971569741 @default.
- W2897156974 hasRelatedWork W1457540691 @default.
- W2897156974 hasRelatedWork W1511726671 @default.
- W2897156974 hasRelatedWork W1580414309 @default.
- W2897156974 hasRelatedWork W1806556628 @default.
- W2897156974 hasRelatedWork W1816937868 @default.
- W2897156974 hasRelatedWork W1862725884 @default.
- W2897156974 hasRelatedWork W1964605445 @default.
- W2897156974 hasRelatedWork W2028158012 @default.
- W2897156974 hasRelatedWork W2039994576 @default.
- W2897156974 hasRelatedWork W2081485421 @default.
- W2897156974 hasRelatedWork W2101112998 @default.
- W2897156974 hasRelatedWork W2564139680 @default.
- W2897156974 hasRelatedWork W2765452643 @default.
- W2897156974 hasRelatedWork W2852668904 @default.
- W2897156974 hasRelatedWork W2905283763 @default.
- W2897156974 hasRelatedWork W291709042 @default.
- W2897156974 hasRelatedWork W3000629633 @default.
- W2897156974 hasRelatedWork W3034229215 @default.
- W2897156974 hasRelatedWork W3043072287 @default.
- W2897156974 hasRelatedWork W62725715 @default.
- W2897156974 isParatext "false" @default.
- W2897156974 isRetracted "false" @default.
- W2897156974 magId "2897156974" @default.
- W2897156974 workType "article" @default.