关于历史确定性的一计数器网
摘要：历史确定性单计数器网（OCNs）模型 关于OCNs的历史确定性检测是可判定的问题 对于一元编码的转换，历史确定性问题是PSPACE完备的 对于二元编码的转换，历史确定性问题是EXPSPACE完备的 历史确定性OCNs的解析器最终是周期性的 给定一个历史确定性OCN，我们构造了一个等价的确定性单计数器自动机 对于历史确定性OCNs的语言进行比较是可判定的。
作者：Aditya Prakash, K. S. Thejaswini
论文ID：2210.10084
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-11-23