An extension of data automata that captures XPath

Details An extension of data automata that captures XPath An extension of data automata that captures XPath

2012-01-03

arxiv.org/abs/1201.0597v2

LMCS 8 (1:5) 2012

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-8(1:5)2012

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.

Affiliated with

Also associated with

No associations

Rating

An extension of data automata that captures XPath does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An extension of data automata that captures XPath, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An extension of data automata that captures XPath will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-183639