文件大小：0.59 MB 14页
堆叠反自动机的向下闭包计算
作者
-
部分： 体积： 第32届计算机科学理论方面国际研讨会（STACS 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学理论专题讨论会 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-02-26
文件
文件标识符
引用为 获取BibTex
摘要
关键词
抽象 向下闭合 障碍物设置 可计算性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
帕罗什·阿齐兹·阿卜杜拉（Parosh Aziz Abdulla）、吕克·博阿松（Luc Boasson）和艾哈迈德·博阿贾尼（Ahmed Bouajjani）。 有效的有损队列语言。 过程中。 ICALP 2001，LNCS第2076卷，第639-651页。 斯普林格，2001年。 
-
Mohamed Faouzi Atig、Ahmed Bouajjani和Shaz Qadeer。 动态创建线程的并发程序的上下文分析。 程序中。 TACAS 2009，LNCS第5505卷，第107-123页。 施普林格，2009年。
-
乔治·巴赫迈耶（Georg Bachmeier）、迈克尔·卢滕伯格（Michael Luttenberger）和马克西米利安·施伦德（Maximilian Schlund）。 cfls的子和超词闭包的有限自动机：描述和计算复杂性，2015年。 发表于：LATA 2015年会议记录。
-
P.Buckheister和Georg Zetzsche。 配价自动机所接受的语言的半线性和上下文无关性。 程序中。 MFCS 2013，LNCS第8087卷，第231-242页。 施普林格，2013年。
-
布鲁诺·库塞尔（Bruno Courcelle）。 关于构建障碍词集。 EATCS公报，44:178-1861991年。
-
伦纳德·尤金·迪克森。 具有n个不同素因子的奇完全本原富足数的有限性。 《美国数学杂志》，35（4）：413-4221913。
-
赫尔曼·格鲁伯（Hermann Gruber）、马库斯·霍尔泽（Markus Holzer）和马丁·库特里布（Martin Kutrib）。希格曼·海恩斯（Higman Haines）的大小集。 理论计算机科学，387（2）：167-1762007。
-
赫尔曼·格鲁伯（Hermann Gruber）、马库斯·霍尔泽（Markus Holzer）和马丁·库特里布（Martin Kutrib）。关于higman-haines集合大小的更多信息：有效结构。 基础信息学，91（1）：105-1212009。
-
彼得·哈贝梅尔（Peter Habermehl）、罗兰·梅耶（Roland Meyer）和哈罗·温梅尔（Harro Wimmel）。 Petri网语言的向下封闭。 程序中。 ICALP 2010，LNCS第6199卷，第466-477页。 施普林格，2010年。
-
格雷厄姆·希格曼。 抽象代数中按可除性排序。 伦敦数学学会会刊。 第三辑，2:326-3361952。
-
Pratek Karandikar和Philippe Schnoebelen。 关于闭包的状态复杂性和带有子单词的正则语言的内部。 程序中。 DCFS 2014，LNCS第8614卷，第234-245页。 斯普林格，2014年。
-
Eryk Kopczynski和Anthony Widjaja To.语法的Parikh图像：复杂性和应用。 程序中。 LICS 2010，第80-89页。 IEEE，2010年。
-
郑月龙、乔治·卡林、鲁帕克·马朱姆达尔和罗兰·迈耶。 语言理论抽象细化。 过程中。 FASE 2012，LNCS第7212卷，第362-376页。 施普林格，2012年。
-
理查德·迈尔。 不可靠计算中的不确定问题。 理论计算机科学，297（1-3）：337-3542003。
-
亚历山大·奥霍廷（Alexander Okhotin）。 关于离散子串和超弦的状态复杂性。 基础信息学，99（3）：325-3382010。
-
简·范·吕文（Jan van Leeuwen）。 形式语言理论中Parikh定理的推广。 程序中。 ICALP 1974，LNCS第14卷，第17-26页。 施普林格，1974年。
-
简·范·吕文（Jan van Leeuwen）。 在良半序自由幺半群中的有效构造。 离散数学，21（3）：237-2521978。
-
乔治·泽采。 计算堆叠计数器自动机的向下闭包。
-
乔治·泽采。 带存储的自动机中的静默转换。 程序中。 2013年ICALP第7966卷，第434-445页。 施普林格，2013年。