Abstract:Divergence and non-determinism play a fundamental role in the theory of computation, and their combined effect on computational equality deserves further study. By looking at the issue from the point of view of both computation and interaction, we are led to a canonical equality for non-deterministic computation, revealing its rich algebraic structure. We study this structure in three ways. First, we construct a complete equational system for finite-state non-deterministic computation. The challenge with such a system is to find an equational alternative to fixpoint induction à la Milner. We establish a negative result in the form of the non-existence of a finite equational system for the canonical equality of non-deterministic computation to support our approach. We then investigate infinite-state non-deterministic computation in the light of definability and show that every recursively enumerable set is generated by an unobservable process. Finally, we prove that, as far as computation is concerned, the effect produced jointly by divergence and non-determinism is model independent for a large class of process models. We use C-graphs, which are interesting in their own right, as abstract representations of the computational objects throughout the paper.

Noncomputable functions in the Blum-Shub-Smale model

An explicit solution to Post's Problem over the reals

Computing over the Reals (or an Arbitrary Ring)

Some results on $\mathbb{R}$-computable structures

On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines

Exploring the abyss in Kleene's computability theory

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Computability in Analysis

On the computational properties of basic mathematical notions

Computability for the absolute Galois group of $\mathbb{Q}$

Non-deterministic computation and the Jayne-Rogers Theorem

Finite models for positive combinatorial and exponential algebra

Computable Isomorphisms of Boolean Algebras with Operators

On Decidable and Computable Models of Theories

From Bi-immunity to Absolute Undecidability

Computable Models of Theories with Few Models.

Non-deterministic Structures of Computation

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus

Computing with Classical Real Numbers

The Borel complexity of the class of models of first-order theories

Degrees that are not degrees of categoricity