DeepAI AI Chat
Log In Sign Up

Axiomatic Tools versus Constructive approach to Unconventional Algorithms

by   Gordana Dodig-Crnkovic, et al.

In this paper, we analyze axiomatic issues of unconventional computations from a methodological and philosophical point of view. We explain how the new models of algorithms changed the algorithmic universe, making it open and allowing increased flexibility and creativity. However, the greater power of new types of algorithms also brought the greater complexity of the algorithmic universe, demanding new tools for its study. That is why we analyze new powerful tools brought forth by the axiomatic theory of algorithms, automata and computation.


page 1

page 2

page 3

page 4


Functional Pearl: Witness Me – Constructive Arguments Must Be Guided with Concrete Witness

Beloved Curry–Howard correspondence tells that types are intuitionistic ...

The Reachability of Computer Programs

Would it be possible to explain the emergence of new computational ideas...

Coalgebraic Determinization of Alternating Automata

Coalgebra is a currently quite active field, which aims to look at gener...

A Survey on Analog Models of Computation

We present a survey on analog models of computations. Analog can be unde...

Neuro-Fuzzy Algorithmic (NFA) Models and Tools for Estimation

Accurate estimation such as cost estimation, quality estimation and risk...

Revisiting the Role of Coverings in Anonymous Networks: Spanning Tree Construction and Topology Recognition

This paper revisits two classical distributed problems in anonymous netw...