摘要
J.阿尔梅达。 伪品种的一些算法问题。 出版物。 数学。 德布勒森 ，54:531-5521999年。 谷歌学者 
Mohamed Faouzi Atig、Dmitry Chistikov、Piotr Hofman、K.Narayan Kumar、Prakash Saivasan和Georg Zetzsche。 单计数器语言规则抽象的复杂性。 在 程序。 2016年LICS ，第207--216页，2016年。 谷歌学者 数字图书馆 
Mohamed Faouzi Atig、Dmitry Chistikov、Piotr Hofman、K.Narayan Kumar、Prakash Saivasan和Georg Zetzsche。 单计数器语言的常规抽象的复杂性。 CoRR公司 ，abs/1602.0341192016年。 谷歌学者 迈克尔·布隆丁（Michael Blondin）、阿兰·芬克尔（Alain Finkel）、斯特凡·格勒（Stefan Göller）、克里斯托夫·哈斯（Christoph Haase）和皮埃尔·麦肯齐（Pierre McKenzie）。 具有状态的二维向量加法系统的可达性是PSPACE完备的。 在 程序。 LICS’15号 ，第32-43页，2015年。 谷歌学者 数字图书馆 米歇尔·卡迪哈克、阿兰·芬克尔和皮埃尔·麦肯齐。 关于Parikh自动机和相关模型的表达性。 在 程序。 2011年新冠肺炎疫情 ，第103-119页，2011年。 谷歌学者 德米特里·奇斯蒂科夫和克里斯托夫·哈斯。 半线性集的驯化。 在 程序。 2016年ICALP ，第128:1--128:13页，2016年。 谷歌学者 洛伦佐·克莱门特（Lorenzo Clemente）、沃伊西奇·切尔文斯基（Wojciech Czerwinnski）、萨沃米尔·拉索塔（Sławomir Lasota）和查尔斯·帕普曼（Charles Paperman）。 Parikh自动机的正则可分性。 在 程序。 ICALP’17年 , 2017. 出现。 谷歌学者 洛伦佐·克莱门特（Lorenzo Clemente）、沃伊西奇·切尔文斯基（Wojciech Czerwinnski）、萨沃米尔·拉索塔（Sławomir Lasota）和查尔斯·帕普曼（Charles Paperman）。 向量加法系统可达集的可分性。 在 程序。 STACS’17 ，第24:1--24:14页，2017年。 谷歌学者 Wojciech Czerwinn ski、Wim Martens和Tomás Masopust。 正则语言通过子序列和后缀的有效可分性。 在 程序。 2013年ICALP ，第150-161页，2013年。 谷歌学者 数字图书馆 Wojciech Czerwinn ski、Wim Martens、Lorijn van Rooijen和Marc Zeitoun。 关于分段可测试语言的可判定可分性的注记。 在 程序。 FCT’15年 ，第173-185页，2015年。 谷歌学者 交叉引用 
伊曼纽尔·德奥斯瓦尔多（Emanuele D’Osualdo）、罗兰·迈耶（Roland Meyer）和乔治·泽采（Georg Zetzsche）。 无限状态系统具有可达性的一阶逻辑。 在 程序。 许可证2016 ，第457-466页，2016年。 谷歌学者 数字图书馆 约翰·费恩利（John Fearnley）和马金·尤金斯基（Marcin Jurdzinski）。 双时钟时间自动机中的可达性是PSPACE完成的。 Inf.计算 ., 243:26--36, 2015. 谷歌学者 数字图书馆 Jean Goubault-Larrecq和Sylvain Schmitz。 确定正则树语言的分段可测试可分性。 在 程序。 2016年ICALP ，第97:1--97:15页，2016年。 谷歌学者 哈里·B·亨特（Harry B.Hunt）III。语法问题的可判定性。 美国医学会杂志 , 29(2):429--447, 1982. 谷歌学者 数字图书馆 费利克斯·克莱特克（Felix Klaedtke）和哈拉尔德街（Harald Rue）。 具有基数的一元二阶逻辑。 在 程序。 ICALP’03年 ，第681-696页，2003年。 谷歌学者 数字图书馆 埃里克·科普琴斯基。 看不见的下推式语言。 在 程序。 2016年LICS ，第867--872页，2016年。 谷歌学者 数字图书馆 Eryk Kopczynski和Anthony Widjaja To.语法的Parikh图像：复杂性和应用。 在 程序。 LICS’10号 ，第80-892010页。 谷歌学者 数字图书馆 Thomas Place、Lorijn van Rooijen和Marc Zeitoun。 通过本地可测试语言和本地阈值可测试语言分离正则语言。 在 程序。 2013年FSTTCS ，第363--375页，2013年。 谷歌学者 Thomas Place、Lorijn van Rooijen和Marc Zeitoun。 用分段可测试和明确的语言分离正则语言。 在 程序。 MFCS’13型 ，第729-740页，2013年。 谷歌学者 交叉引用 托马斯·普莱斯（Thomas Place）和马克·泽顿（Marc Zeitoun）。 在单词的一级量词交替层次结构中更高。 在 程序。 ICALP’14公司 ，第342-353页，2014年。 谷歌学者 交叉引用 托马斯·普莱斯（Thomas Place）和马克·泽顿（Marc Zeitoun）。 将正则语言与一阶逻辑分离。 计算机科学中的逻辑方法 , 12(1), 2016. 谷歌学者 菲利普·施诺贝伦（Philippe Schnoebelen）。 损失计数器可判定性备忘单。 在 程序。 RP’10 ，第51-75页，2010年。 谷歌学者 数字图书馆 迈克尔·西泽。 计算理论导论 《Cengage Learning》，2013年。 谷歌学者 托马斯·希曼斯基（Thomas G.Szymanski）和约翰·威廉姆斯（John H.Williams）。 自下而上解析技术的非规范扩展。 SIAM计算机杂志 , 5(2):231--250, 1976. 谷歌学者 交叉引用 吕迪格·瓦尔克和盖伊·维达尔·纳奎特。 Petri网和正则语言。 J.计算。 系统。 科学 ., 23(3):299--325, 1981. 谷歌学者 交叉引用 詹姆斯·沃雷尔。 个人通信，2016年。 谷歌学者
建议
单向计数器和多头自动机：再认识 我们研究了（1-反转）计数器机器（具有多个计数器的有限自动机，其中每个计数器只能“反转”一次，即计数器一旦递减，就不能再递增）和单向多头有限自动机（有限。。。 实时单计数器自动机的互模拟等价性和正则性 单计数器自动机是一种带有单值堆栈字母表的下推自动机，在这里可以测试堆栈的空性； 如果它不包含ε-跃迁，那么它就是一个实时自动机。 我们研究了等价问题的计算复杂性，并且。。。
