Hedge Pattern Partial Derivative [chapter]

Taro Suzuki, Satoshi Okui
2009 Lecture Notes in Computer Science  
We propose hedge pattern partial derivatives, an extension of Antimirov's partial derivatives, in order to give an operational semantics of pattern matching of regular hedge expression patterns, which is crucial in XML processing. We show that correct and small matching automata can be constructed from hedge pattern partial derivatives.
doi:10.1007/978-3-642-02979-0_16 fatcat:5ixq2iak4ze7fanpc23vs3nrtq