Search

• < Previous
• 1
• Next >

Bottom-up automata on data trees and vertical XPath

A data tree is a finite tree whose every node carries a label from a finite alphabet and a datum from some infinite domain. We introduce a new model of automata over unranked data trees with a decidable emptiness problem. It is essentially a bottom-up alternating automaton with one register that can&nbsp;[&hellip;]