Bojańczyk, Mikołaj and Lasota, Sławomir - An extension of data automata that captures XPath

lmcs:672 - Logical Methods in Computer Science, February 16, 2012, Volume 8, Issue 1
An extension of data automata that captures XPath

Authors: Bojańczyk, Mikołaj and Lasota, Sławomir

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.


Source : oai:arXiv.org:1201.0597
DOI : 10.2168/LMCS-8(1:5)2012
Volume: Volume 8, Issue 1
Published on: February 16, 2012
Submitted on: March 9, 2011
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,F.1.1, H.2.3


Share

Consultation statistics

This page has been seen 44 times.
This article's PDF has been downloaded 29 times.