摘要：确定性一计数器自动机的语言等价性为NL-complete
作者：Stanislav B"ohm, Stefan G"oller, Petr Janv{c}ar
论文ID：1301.2181
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-01-11
PDF 下载： 英文版 中文版pdf翻译中