×

找到84个文档(结果1-84)

是扔石头的时候了。 (英语) Zbl 07810938号

Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14151, 242-253 (2023).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双向有限自动机的最短可接受字符串:接近\(2^n\)下限。 (英语) Zbl 07729463号

Bordihn,Henning(编辑)等,形式系统的描述复杂性。第25届IFIP工作组1.02国际会议,DCFS 2023,波茨坦,德国,2023年7月4-6日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13918, 134-145 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

事件块输入驱动下推自动机的确定。 (英语) Zbl 07615742号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会,CSR 2022,虚拟活动,2022年6月29日至7月1日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13296, 256-268 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

图行走自动机上的同态。 (英语) Zbl 07572321号

Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13266177-188(2022)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

解析树的有界维语言的有理索引。 (英语) Zbl 07571015号

Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13257, 263-273 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图行走自动机并与交的状态复杂性。 (英语) Zbl 07614747号

Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP工作组1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13037125-136(2021)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

小字母表上双向确定性有限自动机的确定性单向模拟。 (英语) Zbl 07614739号

Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP工作组1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13037,26-37(2021)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌套良好的无限字符串上的输入驱动下推自动机。 (英语) Zbl 07493541号

Santhanam,Rahul(编辑)等人,《计算机科学——理论与应用》。2021年6月28日至7月2日,在俄罗斯索契举行的第16届国际计算机科学研讨会,CSR 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12730, 349-360 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于一维细胞自动机最难的语言。 (英语) Zbl 07405982号

Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第12638118-130页(2021)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于双向确定性有限自动机到明确有限自动机的转换。 (英语) Zbl 07405979号

Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12638,81-93(2021)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于LL(k)-线性文法到LL(1)-线性的转换。 (英语) Zbl 07603932号

Fernau,Henning,《计算机科学——理论与应用》。2020年6月29日至7月3日,俄罗斯叶卡捷琳堡,第15届俄罗斯国际计算机科学研讨会,CSR 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12159, 328-340 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编辑输入驱动下推自动机的距离邻域。 (英语) Zbl 1489.68133号

Weil,Pascal(编辑),《计算机科学——理论与应用》。2017年6月8日至12日,第十二届俄罗斯国际计算机科学研讨会,CSR 2017,俄罗斯喀山。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10304, 260-272 (2017).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连接语法中最难的语言。 (英语) Zbl 1475.68143号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9691, 340-351 (2016).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于识别等长语言的有限自动机的确定爆破。 (英语) Zbl 1323.68341号

Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,71-82(2014)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

输入驱动下推自动机的描述复杂性。 (英语) Zbl 1367.68176号

Bordihn,Henning(编辑)等人,《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-31643-2/pbk)。计算机科学讲义7300186-206(2012)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元字母表上双向确定性有限自动机操作的状态复杂性。 (英语) Zbl 1341.68099号

Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808222-234(2011)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

比较线性连接语言和无上下文语言的子家族。 (英语) Zbl 1298.68153号

乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543,431-443(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于数集上的方程及其局限性。 (英语) Zbl 1247.68209号

Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日至7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,360-371(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于双向有限自动机上运算的状态复杂性。 (英语) Zbl 1161.68540号

伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257443-454(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段