59 citations · 220 across the 25 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 1 cited
Minimization of semilinear automata
Mikołaj Bojańczyk, Sławomir Lasota
We investigate finite deterministic automata in sets with non-homogeneous atoms: integers with successor. As there are uncount- ably many deterministic finite automata in this sett…
cs.LO2012★ 14 cited
An extension of data automata that captures XPath
Mikołaj Bojańczyk, Sławomir Lasota
We define a new kind of automata recognizing properties of data words or data trees and prove that the automata capture all queries definable in Regular XPath. We show that the aut…