Abstract:We revisit the membership problem for subclasses of rational relations over finite and infinite words: Given a relation R in a class C_2, does R belong to a smaller class C_1? The subclasses of rational relations that we consider are formed by the deterministic rational relations, synchronous (also called automatic or regular) relations, and recognizable relations. For almost all versions of the membership problem, determining the precise complexity or even decidability has remained an open problem for almost two decades. In this paper, we provide improved complexity and new decidability results. (i) Testing whether a synchronous relation over infinite words is recognizable is NL-complete (PSPACE-complete) if the relation is given by a deterministic (nondeterministic) omega-automaton. This fully settles the complexity of this recognizability problem, matching the complexity of the same problem over finite words. (ii) Testing whether a deterministic rational binary relation is recognizable is decidable in polynomial time, which improves a previously known double exponential time upper bound. For relations of higher arity, we present a randomized exponential time algorithm. (iii) We provide the first algorithm to decide whether a deterministic rational relation is synchronous. For binary relations the algorithm even runs in polynomial time.

Rational stochastic languages

Rational subsets of polycyclic monoids and valence automata

Rational subsets of groups

Revisiting Membership Problems in Subclasses of Rational Relations

Rational sets in virtually abelian groups: languages and growth

Series which are both max-plus and min-plus rational are unambiguous

Rationality for subclasses of 321-avoiding permutations

Recognizable languages in divisibility monoids

Rational power series in several noncommuting variables and the Skolem–Mahler–Lech theorem

Uniformly semi-rational groups

Presentation of rational Schur algebras

A Symbolic Approach to Reasoning with Linguistic Quantifiers

On the rôle of singular functions in extending the probabilistic symbol to its most general class

On Stochastic Automata over Monoids

Towards Rationality in Language and Multimodal Agents: A Survey

Rational preimages in families of dynamical systems

Logico-Computational Aspects of Rationality

Geodesic languages for rational subsets and conjugates in virtually free groups

Weighted Automata and Expressions over Pre-Rational Monoids

Parikh's theorem for infinite alphabets

On sets of rational functions which locally represent all of $\mathbb{Q}$