Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata

Paul, Erik

doi:10.1007/s00224-021-10049-6

Cited by 3 publications

(1 citation statement)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Certainly, determinism plays a central role in the research about computation models. Recently, a lot of active research work [1,5,2,15,13] is devoted to its weaker form: unambiguity. A system is unambiguous if for every input word there is at most one accepting run.…”

Section: Introductionmentioning

confidence: 99%

New Techniques for Universality in Unambiguous Register Automata

Czerwiński,

Mottet,

Quaas

2021

Preprint

View full text Add to dashboard Cite

Register automata are finite automata equipped with a finite set of registers ranging over the domain of some relational structure like (N; =) or (Q; <). Register automata process words over the domain, and along a run of the automaton, the registers can store data from the input word for later comparisons. It is long known that the universality problem, i.e., the problem to decide whether a given register automaton accepts all words over the domain, is undecidable. Recently, we proved the problem to be decidable in 2-ExpSpace if the register automaton under study is over (N; =) and unambiguous, i.e., every input word has at most one accepting run; this result was shortly after improved to 2-ExpTime by Barloy and Clemente. In this paper, we go one step further and prove that the problem is in ExpSpace, and in PSpace if the number of registers is fixed. Our proof is based on new techniques that additionally allow us to show that the problem is in PSpace for single-register automata over (Q; <). As a third technical contribution we prove that the problem is decidable (in ExpSpace) for a more expressive model of unambiguous register automata, where the registers can take values nondeterministically, if defined over (N; =) and only one register is used.

show abstract

Section: Introductionmentioning

confidence: 99%