Determinisation of finitely-ambiguous copyless cost register automata

T Lopez, B Monmege, JM Talbot - 44th International Symposium …, 2019 - drops.dagstuhl.de
T Lopez, B Monmege, JM Talbot
44th International Symposium on Mathematical Foundations of Computer …, 2019drops.dagstuhl.de
Cost register automata (CRA) are machines reading an input word while computing values
using write-only registers: values from registers are combined using the two operations, as
well as the constants, of a semiring. Particularly interesting is the subclass of copyless CRAs
where the content of a register cannot be used twice for updating the registers. Originally
deterministic, non-deterministic variant of CRA may also be defined: the semantics is then
obtained by combining the values of all accepting runs with the additive operation of the …
Abstract
Cost register automata (CRA) are machines reading an input word while computing values using write-only registers: values from registers are combined using the two operations, as well as the constants, of a semiring. Particularly interesting is the subclass of copyless CRAs where the content of a register cannot be used twice for updating the registers. Originally deterministic, non-deterministic variant of CRA may also be defined: the semantics is then obtained by combining the values of all accepting runs with the additive operation of the semiring (as for weighted automata). We show that finitely-ambiguous copyless non-deterministic CRAs (ie the ones that admit a bounded number of accepting runs on every input word) can be effectively transformed into an equivalent copyless (deterministic) CRA, without requiring any specific property on the semiring. As a corollary, this also shows that regular look-ahead can effectively be removed from copyless CRAs.
drops.dagstuhl.de
Showing the best result for this search. See all results