Automata for Data Words and Data Trees.

Leibniz International Proceedings in Informatics（2010）

引用 19|浏览8

暂无评分

摘要

Data words and data trees appear in verification and XML processing. The term ``data'' means that positions of the word, or tree, are decorated with elements of an infinite set of data values, such as natural numbers or ASCII strings. This talk is a survey of the various automaton models that have been developed for data words and data trees.

查看译文

关键词

Automata,Infinite State Systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要