×

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

经典和量子自动机上承诺问题的复杂性。 (英语) Zbl 1323.68338号

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

恒定高度确定性下推自动机上布尔操作的大小-成本。 (英语) Zbl 1341.68076号

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

通过自动机和正则表达式对正则语言进行更简洁的表示。 (英语) Zbl 1161.68529号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件