单计数器语言的正则抽象复杂性
形式语言与自动机理论
2016-02-11 v1 计算机科学中的逻辑
摘要
我们研究以下变换的计算复杂性与描述复杂性：给定一个单计数器自动机（OCA）A，构造一个非确定有限自动机（NFA）B，其识别语言L(A)的一个抽象：(1)向下闭包，(2)向上闭包，或(3)Parikh图像。对于固定字母表上的Parikh图像以及对于向上和向下闭包，我们找到了计算此类NFA的多项式时间算法。对于将字母表作为输入的Parikh图像，我们找到了拟多项式时间算法并证明了一个完备性结果：我们构造了一系列OCA，其承认多项式时间算法当且仅当所有OCA都承认。对于这三种抽象，先前未知是否存在次指数大小合适的NFA。
引用
@article{arxiv.1602.03419,
title = {Complexity of regular abstractions of one-counter languages},
author = {Mohamed Faouzi Atig and Dmitry Chistikov and Piotr Hofman and K Narayan Kumar and Prakash Saivasan and Georg Zetzsche},
journal= {arXiv preprint arXiv:1602.03419},
year = {2016}
}