On notions of regularity for data languages
FCT(2007)
摘要
Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position, a symbol and a data value from an infinite domain. Previous work has shown that it is not easy to come up with an expressive yet decidable automata model for data languages. Recently, such an automata model, data automata, was introduced. This paper introduces a simpler but equivalent model and investigates its expressive power, algorithmic and closure properties and some extensions.
更多查看译文
关键词
expressive power
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络