加琳娜·吉尔亚斯科娃;汤马斯·马斯托普斯 说明投影语言的复杂性。 （英语） Zbl 1341.68096号 Holzer，Markus（编辑）等人，《形式系统的描述复杂性》。2011年7月25日至27日，第13届国际研讨会，DCFS 2011，德国利姆堡Gießen/Limburg。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22599-4/pbk）。计算机科学讲座笔记6808198-211（2011）。 摘要：本文讨论了用不完全确定性有限自动机表示的投影正则语言的状态复杂性。证明了已知上界只能由带有一个不可观察跃迁的自动机达到，即带有被投影移除的符号的跃迁。本文通过考虑自动机的结构来改进这个上界。它还证明了新的界是紧的，考虑了有限语言的情况，并提出了几个开放问题。关于整个系列，请参见[Zbl 1218.68017号]. 引用于4文件 MSC公司： 第68季度第45季度 形式语言和自动机 软件：UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{T.Masopust}，莱克特。注释计算。科学。6808198--211（2011；Zbl 1341.68096） 全文： 内政部 参考文献： [1] Cassandras，C.G.，Lafortune，S.：离散事件系统导论，第2版。斯普林格，海德堡（2008）·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7 [2] Chrobak，M.：有限自动机和一元语言。理论。计算。科学。 47(2), 149–158 (1986); 勘误表：理论。计算。科学。302, 497–498 (2003) ·Zbl 0638.68096号 ·doi:10.1016/0304-3975（86）90142-8 [3] Feng，L.，Wonham，W.M.：计算效率管理器设计：抽象和模块化。In：程序。《WODES 2006》，美国安娜堡，第3-8页（2006） [4] Feng，L.，Wonham，W.M.：关于离散事件系统中自然观测器的计算。离散事件动态。系统。 20, 63–102 (2010) ·Zbl 1195.93081号 ·doi:10.1007/s10626-008-0054-3 [5] Flordal，H.，Malik，R.：监督控制中的成分验证。SIAM J.控制优化。 48(3), 1914–1938 (2009) ·Zbl 1282.93176号 ·doi:10.1137/070695526 [6] Geffert，V.：有限自动机状态层次中的幻数。Inf.计算。 205(11), 1652–1670 (2007) ·Zbl 1130.68069号 ·doi:10.1016/j.ic.2007.07.001 [7] Hill，R.C.，Tilbury，D.M.：具有抽象和增量层次结构的离散事件系统的模块化监督控制。In：程序。《WODES 2006》，美国安娜堡，第399–406页（2006） [8] Holzer，M.，Jakobi，S.，Kutrib，M.：分区域语言族的幻数问题。In：程序。2010年的DCFS。EPTCS，第31卷，第110–119页（2010年）·Zbl 1280.68109号 ·doi:10.4204/EPTCS.31.13 [9] Holzer，M.，Kutrib，M.：描述复杂性——介绍性调查。摘自：《语言方法的科学应用》，第2卷，帝国理工学院出版社，伦敦（2010）·Zbl 1227.68033号 ·doi:10.1142/9781848165458_0001 [10] Iwama，K.，Kambayashi，Y.，Takaki，K.：等价于n状态NFA的DFA状态数的严格界限。理论。计算。科学。 237, 485–494 (2000) ·Zbl 0939.68068号 ·doi:10.1016/S0304-3975（00）00029-3 [11] 岩马，K.，松浦一郎，A.，帕特森，M.：需要2个n的NFA家族-{\（\α\）}确定性状态。理论。计算。科学。 301, 451–462 (2003) ·Zbl 1022.68067号 ·doi:10.1016/S0304-3975（02）00891-5 [12] Jirásek，J.，Jirá）sková，G.，Szabari，A.：固定字母表上最小非确定性有限自动机的确定性放大。《国际药品监督管理条例》第19617–631条（2008年）·Zbl 1155.68041号 [13] Jirásková，G.：关于最小有限自动机的注记。收录人：Sgall，J.、Pultr，A.、Kolman，P.（编辑）MFCS 2001。LNCS，第2136卷，第421-431页。斯普林格，海德堡（2001）·Zbl 0999.68104号 ·doi:10.1007/3-540-44683-4_37 [14] Jirásková，G.：关于正则语言补语、星号和反转的状态复杂性。收录：伊藤，M.，富山，M.（编辑）DLT 2008。LNCS，第5257卷，第431-442页。斯普林格，海德堡（2008），网址：http://im3.saske.sk/吉拉斯科夫/明星/·Zbl 1161.68539号 ·数字对象标识代码：10.1007/978-3-540-85780-8_34 [15] Jirásková，G.：神奇数字和三元字母表。In:Diekert，V.，Nowotka，D.（编辑）DLT 2009。LNCS，第5583卷，第300-311页。斯普林格，海德堡（2009）·Zbl 1247.68144号 ·doi:10.1007/978-3-642-02737-6_24 [16] Komenda，J.，Masopust，T.，van Schuppen，J.H.：使用协调方案的离散事件系统的监督控制综合。CoRR 1007.2707（2010），http://arxiv.org/abs/1007.2707 ·Zbl 1260.93112号 [17] Komenda，J.，Masopus，T.，Schuppen，J.H.v.：使用离散事件系统的协调方案合成满足全局规范的安全子语言。In：程序。WODES 2010，德国柏林，第436–441页（2010）·doi:10.3182/20100830-3-DE-4013.00070 [18] Komenda，J.，van Schuppen，J.H.：离散事件系统的协调控制。In：程序。《WODES 2008》，瑞典哥德堡，第9-15页（2008）·Zbl 1367.93233号 ·doi:10.1109/WODES.2008.4605915 [19] 卢帕诺夫，O.B.：Uni ber den vergleich zweier typen endlicher quellen。问题。Kybernetik 6，328–335（1966），翻译自Probl。Kibernetiki 9，321-326（1963年）·Zbl 0168.25902号 [20] Lyubich，Y.I.：非确定性自治自动机最优确定的估计。同胞。马特马特。朱。50337-355（1964年）（俄语）·Zbl 0192.08104号 [21] Meyer，A.R.，Fischer，M.J.：自动机、语法和形式系统的描述经济。In：程序。FOCS 1971，第188-191页。IEEE，洛斯阿拉米托斯（1971） [22] Moore，F.R.：关于确定性、非确定性和双向有限自动机等价性证明中状态集大小的界。IEEE传输。计算。 20(10), 1211–1214 (1971) ·Zbl 0229.94033号 ·doi:10.10109/T-C.19971.223108文件 [23] Pena，P.N.，Cury，J.E.R.，Lafortune，S.：抽象中观察者属性的多项式时间验证。In：程序。ACC 2008，美国西雅图，第465–470页（2008）·doi:10.1109/ACC.2008.4586535 [24] Pena，P.N.，Cury，J.E.R.，Malik，R.，Lafortune，S.：使用OP-verifiers高效计算观测器投影。In：程序。WODES 2010，第416–421页（2010年） [25] Salomaa，K.：K字母表上有限语言的NFA到DFA转换。个人通信（2011） [26] Salomaa，K.，Yu，S.：有限语言的NFA到DFA转换。收录人：Raymond，D.R.，Yu，S.，Wood，D.（编辑）WIA 1996。LNCS，第1260卷，第149-158页。斯普林格，海德堡（1997）·Zbl 0897.68060号 ·doi:10.1007/3-540-63174-7_12 [27] Sipser，M.：计算理论简介。PWS出版公司，波士顿（1997）·兹比尔1169.68300 [28] Szabari，A.：正则语言的描述复杂性。斯洛伐克科希策斯洛伐克科学院数学研究所博士论文（2010年） [29] Wong，K.：关于离散事件系统投影的复杂性。In：程序。WODES 1998，卡利亚里，意大利，第201–206页（1998） [30] Wonham，W.M.：离散事件系统的监督控制，加拿大多伦多大学电气与计算机工程系讲稿（2009年）·Zbl 0595.93047号 [31] Yu，S.：常规语言。见：《形式语言手册》，第一卷，第41-110页。施普林格，海德堡（1997）·doi:10.1007/978-3-642-59136-52 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。