×

找到106个文档(结果1-100)

关于输入驱动下推自动机的推动或静止运动的功率。 (英语) Zbl 07572318号

Caron,Pascal(编辑)等人,《自动机的实现与应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13266, 140-151 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元语言上的迭代一致有限状态变换器。 (英语) Zbl 1490.68128号

Bureš,Tomáš(编辑)等人,《SOFSEM 2021:计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议,SOFSEM 2021,Bolzano-Bozen,意大利,2021年1月25-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12607, 218-232 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

元胞自动机一维模式生成。 (英语) Zbl 1492.68090号

Gwizdała,Tomasz M.(编辑)等人,《细胞自动机》。第十四届研究和工业细胞自动机国际会议,ACRI 2020,波兰罗兹,2020年12月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12599, 46-55 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

蜂窝串生成器。 (英语) Zbl 1467.68113号

Zenil,Hector(编辑),细胞自动机和离散复杂系统。第26届IFIP WG 1.5国际研讨会,AUTOMATA 2020,瑞典斯德哥尔摩,2020年8月10-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12286, 59-70 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

迭代均匀有限状态传感器的描述复杂性。 (英语) Zbl 1434.68272号

Hospodár,Michal(编辑)等人,《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议,2019年7月17日至19日,斯洛伐克科希策,DCFS 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11612, 223-234 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

输入驱动的多计数器自动机。 (英语) Zbl 1434.68273号

Hospodár,Michal(编辑)等人,《自动机的实现和应用》。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11601, 197-208 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有无向状态图的有限自动机。 (英语) Zbl 1435.68176号

Konstantinidis,Stavros(编辑)等人,《形式系统的描述复杂性》。第20届IFIP工作组1.02国际会议,2018年7月25日至27日,加拿大NS哈利法克斯,DCFS 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10952, 212-223 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

队列自动机:基础和发展。 (英语) Zbl 1434.68274号

Adamatzky,Andrew(编辑),可逆性和普遍性。在森田贤一70岁生日之际,向他提交了论文。查姆:斯普林格。Emerg.复杂。计算。30, 385-431 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可逆下推式传感器。 (英语) Zbl 1517.68191号

Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 354-365 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过预处理提升下推和排队机器。 (英语) 兹比尔1458.68104

Cámpeanu,Cezar(编辑),自动化的实现和应用。2018年7月30日至8月2日在加拿大PE夏洛特敦举行的CIAA 2018第23届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10977, 28-40 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

输入驱动双头下推自动机。 (英语) Zbl 1483.68172号

Csuhaj-Varjú,Erzsébet(编辑)等人,第15届国际自动机和形式语言会议论文集,2017年9月4-6日,AFL’17,匈牙利德布勒森。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)252128-142(2017)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

具有可逆Mealy细胞的快速单向细胞自动机。 (英语) Zbl 1451.68184号

Dennunzio,Alberto(编辑)等人,《细胞自动机和离散复杂系统》。2017年6月7日至9日,意大利米兰,2017年AUTOMATA,第23届IFIP WG 1.5国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10248, 139-150 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

用有限状态机进行可逆变换。 (英语) Zbl 1429.68121号

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329151-162(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界正则语言的描述复杂性。 (英语) Zbl 1476.68130号

Cámpeanu,Cezar(编辑)等人,《形式系统的描述复杂性》。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9777, 138-152 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

通过预处理提升可逆下推机器。 (英语) Zbl 1476.68124号

Devitt,Simon(编辑)等人,《可逆计算》。2016年7月7日至8日,第八届国际会议,RC 2016,意大利博洛尼亚。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9720, 89-104 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可逆收缩双推自动机。 (英语) Zbl 1443.68080号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 579-591 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有内部转换的输入驱动队列自动机。 (英语) Zbl 1443.68090号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 156-167 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速可逆图灵机的层次结构。 (英语) Zbl 1464.68103号

Krivine,Jean(编辑)等人,《可逆计算》。2015年7月16日至17日,第七届国际会议,RC 2015,法国格勒诺布尔。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9138,29-44(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Tinput驱动下推自动机。 (英语) Zbl 1415.68135号

Durand-Lose,Jéróme(编辑)等人,《机器、计算和普遍性》。2015年9月9日至11日在北塞浦路斯法马古斯塔举行的MCU 2015第七届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9288194-112(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

收缩的单向细胞自动机。 (英语) Zbl 1432.68283号

Kari,Jarkko(编辑),细胞自动机和离散复杂系统。第21届IFIP WG 1.5国际研讨会,AUTOMATA 2015,芬兰图尔库,2015年6月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9099, 141-154 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

实时可逆单向细胞自动机。 (英语) Zbl 1432.68282号

Isokawa,Teijiro(编辑)等人,《细胞自动机和离散复杂系统》。2014年7月7日至9日,日本Himeji,AUTOMATA 2014第20届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8996, 56-69 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测量并行通信有限自动机中的通信。 (英语) Zbl 1464.68151号

埃西克、佐尔坦(编辑)等,《第14届国际自动机和形式语言会议论文集》,AFL’14,塞格德,匈牙利,2014年5月27日至29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)151124-138(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

确定性集自动机。 (英语) Zbl 1344.68123号

Shur,Arseny M.(编辑)等,《语言理论的发展》。2014年8月26日至29日,俄罗斯叶卡捷琳堡,DLT 2014第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-09697-1/pbk)。计算机科学讲座笔记8633,303-314(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

测量自动化系统中的通信(特邀论文)。 (英语) Zbl 1425.68214号

Shur,Arseny M.(编辑)等,《语言理论的发展》。2014年8月26日至29日,俄罗斯叶卡捷琳堡,DLT 2014第18届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8633, 260-274 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

集合自动机的正则性和大小。 (英语) Zbl 1416.68103号

Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2014年8月5日至8日,第16届国际研讨会,DCFS 2014,芬兰图尔库。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8614, 282-293 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单向可逆多头有限自动机。 (英语) 兹比尔1451.68152

Glück,Robert(编辑)等人,《可逆计算》。2012年7月2日至3日,第四届国际研讨会,RC 2012,丹麦哥本哈根。修订论文。柏林:斯普林格。莱克特。注释计算。科学。7581, 14-28 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元单向多头有限自动机的大小。 (英语) Zbl 1304.68109号

Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39309-9/pbk)。计算机科学课堂讲稿8031148-159(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

下推存储语言的有限状态自动机的直接构造。 (英语) Zbl 1388.68171号

Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39309-9/pbk)。计算机科学课堂讲稿8031,90-101(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

输入驱动队列自动机:有限圈、可判定性和闭包属性。 (英语) Zbl 1298.68147号

Konstantinidis,Stavros(编辑),自动化的实现和应用。2013年7月16日至19日,加拿大新南威尔士州哈利法克斯,2013年CIAA第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39273-3/pbk)。计算机科学课堂讲稿7982232-243(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有卵石但没有状态的单向多头有限自动机。 (英语) Zbl 1381.68125号

Béal,Marie-Pierre(编辑)等,《语言理论的发展》。2013年6月18日至21日,第17届国际会议,DLT 2013,法国马内拉瓦莱。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38770-8/pbk)。计算机科学课堂讲稿7907313-324(2013)。
MSC公司:第68季度第45季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

下推存储语言的描述复杂性。 (英语) Zbl 1304.68111号

Kutrib,Martin(编辑)等人,《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31622-7/pbk)。计算机科学讲义7386209-221(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

状态和头对于一元多头有限自动机是有意义的。 (英语) Zbl 1370.68183号

Yen,Hsu-Chun(编辑)等,《语言理论的发展》。第16届国际会议,DLT 2012,台湾台北,2012年8月14-17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31652-4/pbk)。计算机科学课堂讲稿7410,214-225(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

输入驱动的堆栈自动机。 (英语) Zbl 1362.68127号

Baeten,Jos C.M.(编辑)等人,《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议,2012年TCS,荷兰阿姆斯特丹,2012年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33474-0/pbk)。计算机科学课堂讲稿7604,28-42(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

遗忘双向有限自动机:可判定性和复杂性。 (英语) 兹比尔1353.68168

Fernández-Baca,David(编辑),《拉丁语2012:理论信息学》。第十届拉丁美洲研讨会,2012年4月16日至20日,秘鲁阿雷基帕。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-29343-6/pbk)。计算机科学课堂讲稿7256,518-529(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有受限头部反转的双向下推自动机的描述复杂性。 (英语) 兹比尔1341.68100

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

两方Watson-Crick计算。 (英语) Zbl 1297.68148号

Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学讲义6482191-200(2011)。
MSC公司:第68季度第45季度 2005年第68季度 68问题30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单向细胞自动机的大小。 (英语) 兹比尔1323.68393

Fatès,Nazim(编辑)等人,《自动化》,2010年。2010年6月14日至16日,在法国南希举行的第16届细胞自动机(CA)和离散复杂系统(DCS)国际研讨会上,根据演讲内容选择论文。南希:协会。离散数学与理论计算机科学(DMTCS)。离散数学和理论计算机科学。诉讼,71-90,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

并行通信有限自动机的不确定性和层次性结果。 (英语) Zbl 1250.68147号

高元(主编)等,语言理论的发展。2010年8月17日至20日,第14届国际会议,DLT 2010,加拿大安大略省伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14454-7/pbk)。计算机科学课堂讲稿622488-99(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可逆下推自动机。 (英语) Zbl 1284.68356号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13088-5/pbk)。计算机科学课堂讲稿6031368-379(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

论FO[+]的表现力。 (英语) Zbl 1284.68343号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13088-5/pbk)。计算机科学课堂讲稿6031190-201(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界语言与细胞自动机之间的通信稀疏。 (英语) Zbl 1456.68091号

Dassow,Jürgen(编辑)等人,第十一届正式系统描述复杂性国际研讨会,德国马格德堡,2009年7月6日至9日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3,163-172(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

多头有限自动机:特征、概念和开放问题。 (英语) Zbl 1456.68089号

Neary,Turlough(编辑)等人,简单程序复杂性国际研讨会,爱尔兰科克,2008年12月6日至7日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193-107(2009)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于单向一位(O)(一)消息元胞自动机。 (英语) Zbl 1338.68184号

de Oliveira,Pedro P.B.(ed.)等人,第15届细胞自动机和离散复杂系统国际研讨会论文集,巴西圣保罗,2009年10月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》25277-91(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于并行通信有限自动机的计算能力。 (英语) Zbl 1161.68513号

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

下推自动机中的调节不确定性。 (英语) Zbl 1139.68370号

Holub,Jan(编辑)等人,《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-76335-2/pbk)。计算机科学课堂讲稿4783,85-96(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时可逆迭代数组。 (英语) Zbl 1132.68457号

Csuhaj-Varjü,Erzébet(编辑)等人,《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74239-5/pbk)。计算机科学课堂讲稿4639,376-387(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界无上下文语言的描述复杂性。 (英语) Zbl 1202.68233号

Harju,Tero(编辑)等人,《语言理论的发展》。第11届国际会议,DLT 2007,芬兰图尔库,2007年7月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73207-5/pbk)。计算机科学课堂讲稿4588,312-323(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

下推自动机的上下文相关不确定性。 (英语) Zbl 1227.68062号

Ibarra,Oscar H.(编辑)等人,《语言理论的发展》。2006年6月26日至29日,第十届国际会议,DLT 2006,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35428-X/pbk)。计算机科学课堂讲稿4036133-144(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

限制细胞间通信的快速迭代阵列:构造和可判定性。 (英语) Zbl 1132.68456号

Králović,Rastislav(编辑)等人,《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37791-3/pbk)。《计算机科学讲义》4162634-645(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

传记参考

软件