An automaton over data words that captures EMSO logic
Résumé
We introduce class register automata, a new (one-way) automata model over finite and infinite words with multiple data values. Our model combines (extended) register automata and data automata. It has natural interpretations, e.g., as concurrent communicating systems with an unbounded number of processes. We show that class register automata capture an existential monadic second-order logic that permits unrestricted use of variables and comes with a predicate that relates two successive positions with the same data value(s).
Origine : Fichiers produits par l'(les) auteur(s)