Source author record

Armando B. Matos

Armando B. Matos appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Logic in Computer Science Programming Languages

Catalog footprint

What is connected

2works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Interleaving classical and reversible

Given a simple recursive function, we show how to extract two interacting processes from it. The two processes can be described by means of iterative programs, one of which is intrinsically reversible, in a language that, up to minor details, belongs to the core of widely used imperative programming languages. We implement the two processes as interleaving synchronous JAVA threads whose interaction is equivalent to the recursive function they are extracted from.

preprint2016arXiv

Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability

Consider a decision problem whose instance is a function. Its degree of undecidability, measured by the corresponding class of the arithmetic (or Kleene-Mostowski) hierarchy hierarchy, may depend on whether the instance is a partial recursive or a primitive recursive function. A similar situation happens for results like Rice Theorem (which is false for primitive recursive functions). Classical Recursion Theory deals mainly with the properties of partial recursive functions. We study several natural decision problems related to primitive recursive functions and characterise their degree of undecidability. As an example, we show that, for primitive recursive functions, the injectivity problem is Pi^0_1-complete while the surjectivity problem is Pi_2-complete (omit superscripts from now on). We compare the degree of undecidability (measured by the level in the arithmetic hierarchy) of several primitive recursive decision problems with the corresponding problems of classical Recursion Theory. For instance, the problem "does the codomain of a function have exactly one element?" is Pi_1-complete for primitive recursive functions and belongs to the class [Delta_2 - (Sigma_1 UNION Pi_1)] for partial recursive functions. An important decision problem, "does a given primitive recursive function have at least one zero?" is studied in detail.