Keyword : tree transducers


Query Rewriting for Nondeterministic Tree Transducers
Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6 ; pp. 1410-1419
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
tree transducersquery rewritingquery preservation
 Summary | Full Text:PDF

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/03/01
Vol. E98-D  No. 3 ; pp. 512-523
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science---New Spirits in Theory of Computation and Algorithm---)
Category: 
Keyword: 
XMLtree automatatree transducersrun-based queriesquery preservation
 Summary | Full Text:PDF