文件大小：0.51 MB 15页
有理函数的非周期性是PSPACE-Complete
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
理性词语转义 决策问题 非周期性 自行车
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
玛丽·皮埃尔·贝亚尔（Marie-Pierre Béal）、奥利维尔·卡尔顿（Olivier Carton）、克里斯托夫·普里厄尔（Christophe Prieur）和雅克·萨卡罗维奇（Jacques Sakarovitch）。 平方传感器：决定功能性和顺序性的有效程序。 西奥。 计算。 科学。， 292(1):45-63, 2003. 
-
Jean Berstel和Luc Boasson。 转喻和无语境语言。 Teubner编辑，第1-278页，1979年。
-
米科·阿杰·博扬奇克。 带有原点信息的传感器。 在自动化、语言和编程国际学术讨论会（ICALP）上，计算机科学讲义第8573卷第二部分，第26-37页。 斯普林格，2014年。 网址： http://dx.doi.org/10.1007/978-3-662-43951-7_3 . -
奥利维尔·卡尔顿和吕克·达托伊斯。 非周期性双向换能器和fo-transformations。 在EACSL计算机科学逻辑年会（CSL）上，LIPIcs第41卷，第160-174页。 达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2015年。 网址： http://dx.doi.org/10.4230/LIPIcs.CSL.2015.160 . -
Sang Cho和Dung T.Huynh。 有限自动非周期性是PSPACE完成的。 西奥。 计算。 科学。， 88(1):99-116, 1991. 网址： http://dx.doi.org/10.1016/0304-3975 （91）90075-天 . -
克里斯蒂安·乔夫鲁特（Christian Choffrut）。 最小化子序列传感器：一项调查。 西奥。 计算。 科学。， 292(1):131-143, 2003. 网址： http://dx.doi.org/10.1016/S0304-3975 (01)00219-5 . -
布鲁诺·库塞尔（Bruno Courcelle）。 一元二阶可定义图转导：综述。 西奥。 计算。 科学。， 126(1):53-75, 1994. 网址： http://dx.doi.org/10.1016/0304-3975 (94)90268-2 . -
沃尔克·迪克特和保罗·加斯丁。 一阶可定义语言。 《逻辑与自动化：历史与展望》（以沃尔夫冈·托马斯（Wolfgang Thomas）为题），逻辑与游戏文本第2卷，第261-306页。 阿姆斯特丹大学出版社，2008年。
-
塞缪尔·艾伦伯格，《自动化、语言和机器》。 第A卷：纯数学和应用数学。 学术出版社，1974年。
-
卡尔文·埃尔格特和豪尔赫·梅泽。 关于广义有限自动机定义的关系。 IBM研究与开发杂志，9（1）：47-681965。 网址： http://dx.doi.org/10.1147/rd.91.0047 . -
Joost Engelfriet和Hendrik Jan Hoogeboom。 MSO可定义字符串转换和双向有限状态传感器。 ACM事务处理。 计算。 日志。， 2(2):216-254, 2001. 网址： http://dx.doi.org/10.1145/371316.371512 . -
埃马纽埃尔·菲利奥。 用于转换的逻辑自动机连接。 印度逻辑及其应用会议（ICLA），计算机科学讲稿第8923卷，第30-57页。 斯普林格，2015年。 网址： http://dx.doi.org/10.1007/978-3-662-45824-2_3 . -
Emmanuel Filiot、Olivier Gauwin和Nathan Lhote。 有理转导的一阶可定义性：代数方法。 在年度ACM/IEEE计算机科学逻辑研讨会（LICS）上。 IEEE计算机学会，2016年。
-
Emmanuel Filiot、Shankar Narayanan Krishna和Ashutosh Trivedi。 一阶可定义字符串转换。 在软件技术和理论计算机科学基础国际会议（FSTTCS）上，LIPIcs第29卷，第147-159页。 达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2014年。 网址： http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.147 . -
约翰·E·霍普克罗夫特。 有限自动机中最小化状态的N log N算法。 技术报告，斯坦福大学，斯坦福，加利福尼亚州，美国，1971年。
-
罗伯特·麦克诺顿（Robert McNaughton）和西摩·帕普特（Seymour Papert）。 无计数器自动机。 M.I.T.出版社，1971年。
-
Christophe Reutenauer和Marcel-Paul Schützenberger。 有理词功能的最小化。 SIAM J.计算。， 20(4):669-685, 1991. 网址： http://dx.doi.org/10.1137/0220042 . -
Christophe Reutenauer和Marcel-Paul Schützenberger。 各种各样的功能。 西奥。 计算。 科学。， 145(1&2):229-240, 1995. 网址： http://dx.doi.org/10.1016/0304-3975 （94）00180-Q号 . -
雅克·萨卡罗维奇（Jacques Sakarovitch）。 自动机原理。 剑桥大学出版社，2009年。
-
马塞尔·鲍尔·舒恩伯格（Marcel-Paul Schützenberger）。 关于有限传感器的评论。 信息与控制，4（2-3）：185-1961961。
-
马塞尔·鲍尔·舒恩伯格（Marcel-Paul Schützenberger）。 关于只有平凡子群的有限幺半群。 信息与控制，8（2）：190-1941965。
-
雅克·斯特恩。 自动机理论中一些问题的复杂性。 信息与控制，66（3）：163-1761985。 网址： http://dx.doi.org/10.1016/S0019-9958 (85)80058-9 . -
有限自动机、形式逻辑和电路复杂性。 比克豪斯-弗拉格，瑞士巴塞尔，瑞士，1994年。