高阶下推自动机的无界性与向下闭包
形式语言与自动机理论
2015-11-06 v2
摘要
我们证明了高阶下推自动机（HOPDA）的对角问题，以及由此而来的同时无界性问题，是可判定的。根据Zetzsche近期的研究，这意味着我们可以构造给定HOPDA所接受单词集合的向下闭包。这也意味着我们可以构造HOPDA的Parikh像的向下闭包。这两个结果在验证以HOPDA或安全高阶递归方案表示的高阶并发程序时扮演着重要角色。
引用
@article{arxiv.1507.03304,
title = {Unboundedness and Downward Closures of Higher-Order Pushdown Automata},
author = {Matthew Hague and Jonathan Kochems and C. -H. Luke Ong},
journal= {arXiv preprint arXiv:1507.03304},
year = {2015}
}