R-Automata

R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a constant D such that all words are accepted by some run along which no counter exceeds D. It has been shown in [2] that this question is decidable. In this paper, we add one more operation to R-automata, namely the operation which can copy the value of a counter into another one. The result of this paper is a reduction of the universality problem for R-automata with value copying to universality of R-automata, thus rendering the problem decidable. The reduction replaces copy operations by non-deterministic resets together with a mechanism ensuring that the number of such replacements is bounded between each two resets of a value.

• Type: Conference
• Year: 2008
• Where: CONCUR
• Authors: Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
• Keywords: CONCUR 2008, Counter, Distributed And Parallel Computing, Finite State Machines, Universality Question