An extension of data automata that captures XPath

Miko{\l}aj Boja\'nczyk (University of Warsaw); S{\l}awomir Lasota (University of Warsaw)

arxiv: 1201.0597 · v2 · pith:YEGFIEULnew · submitted 2012-01-03 · 💻 cs.LO · cs.FL

An extension of data automata that captures XPath

Miko{\l}aj Boja\'nczyk (University of Warsaw) , S{\l}awomir Lasota (University of Warsaw) This is my paper

classification 💻 cs.LO cs.FL

keywords automatadataxpathanswerappliedapproachautomata-theoreticcapture

0 comments

read the original abstract

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 automata-theoretic approach may be applied to answer decidability and expressibility questions for XPath.

This paper has not been read by Pith yet.

An extension of data automata that captures XPath

discussion (0)