Alternating register automata on finite words and trees
We study alternating register automata on data words and data trees in relation to logics. A data word (resp. data tree) is a word (resp. tree) whose every position carries a label from a finite alphabet and a data value from an infinite domain. We investigate one-way automata with alternating contr...
Main Author: | Diego Figueira |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2012-03-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/907/pdf |
Similar Items
-
An extension of data automata that captures XPath
by: Mikołaj Bojańczyk, et al.
Published: (2012-02-01) -
Logics for Unranked Trees: An Overview
by: Leonid Libkin
Published: (2006-07-01) -
Tree-width for first order formulae
by: Isolde Adler, et al.
Published: (2012-03-01) -
Polishness of some topologies related to word or tree automata
by: Olivier Finkel, et al.
Published: (2019-05-01) -
Visibly Tree Automata with Memory and Constraints
by: Hubert Comon-Lundh, et al.
Published: (2008-06-01)