高阶计数器中的可达性
摘要：Higher-order counter automata: control-state reachability, global reachability analysis, and formal languages.
作者：Alexander Heu{ss}ner and Alexander Kartzow
论文ID：1306.1069
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-06-06