Computability by Monadic Second-Order Logic
Formal Languages and Automata Theory
2020-11-25 v3
Abstract
A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula in monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each "computation graph" in that set determines a pair consisting of an input graph and an output graph.
Cite
@article{arxiv.2008.12151,
title = {Computability by Monadic Second-Order Logic},
author = {Joost Engelfriet},
journal= {arXiv preprint arXiv:2008.12151},
year = {2020}
}
Comments
12 pages, 4 figures, to appear in Information Processing Letters