Synchronous Subsequentiality and Approximations to Undecidable Problems

We introduce the class of synchronous subsequential relations, a subclass of the synchronous relations which embodies some properties of subsequential relations. If we take relations of this class as forming the possible transitions of an infinite automaton, then most decision problems (apart from m...

Full description

Bibliographic Details
Main Author: Christian Wurm
Format: Article
Language:English
Published: Open Publishing Association 2015-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1509.07200v1