Trimming Visibly Pushdown Automata
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata(2013)
摘要
We study the problem of trimming visibly pushdown automata (VPA). We first describe a polynomial time procedure which, given a visibly pushdown automaton that accepts only well-nested words, returns an equivalent visibly pushdown automaton that is trimmed. We then show how this procedure can be lifted to the setting of arbitrary VPA. Furthermore, we present a way of building, given a VPA, an equivalent VPA which is both deterministic and trimmed.
更多查看译文
关键词
Polynomial Time,Tree Automaton,Return Transition,Polynomial Time Complexity,Pushdown Automaton
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要