×

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

双向非均匀有限自动机。 (英语) Zbl 1518.68171号

Moreira,Nelma(编辑)等人,《语言理论的发展》。第25届国际会议,DLT 2021,葡萄牙波尔图,2021年8月16-20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12811, 155-166 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于活性问题的双向合理自动机的大小。 (英语) Zbl 1386.68085号

Potapov,Igor(编辑),语言理论的发展。第19届国际会议,DLT 2015,英国利物浦,2015年7月27日至30日。诉讼程序。查姆:施普林格(ISBN 978-3-319-21499-3/pbk;978-3-3169-21500-6/电子书)。计算机科学讲义9168120-131(2015)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双向自动机的确定性与非确定性。用逻辑公式表示状态的含义。 (英语) Zbl 1358.68170号

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

理论计算机科学。形式语言、可计算性、复杂性理论、算法、通信和密码学。第4次修订版。(Theoretische Informatik,Formale Sprachen,Berechenbarkeit,Komplexitätstheorie,Algorithmik,Kommunikation und Kryptographie。) (英语) Zbl 1203.68049号

威斯巴登:Vieweg+Teubner(ISBN 978-3-8348-0650-5/pbk)。415页。(2011).
PDF格式BibTeX公司 XML格式引用

歧义和沟通。 (英语) Zbl 1236.68169号

Albers,Susanne(编辑)等人,STACS 2009。2009年2月26日至28日,德国弗莱堡,第26届计算机科学理论方面国际研讨会。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-09-5)。LIPIcs–莱布尼茨国际信息学会议录3553-564,仅电子版(2009年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法冒险。从知识到魔法。 (英语) Zbl 1175.68001号

柏林:施普林格出版社(ISBN 978-3-540-85985-7/hbk;978-3-540-85986-4/电子书)。xiii,第363页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息学教科书。编程、历史和概念形成、自动机设计的预备课程。(Lehrbuch Informatik、Vorkurs Programmieren、Geschichte und Begriffsbildung、Automatenentwurf) (德语) Zbl 1161.68001号

工作室。威斯巴登:Vieweg+Teubner(国际标准书号978-3-8348-0620-8/pbk)。512页。(2008).
PDF格式BibTeX公司 XML格式引用

关于确定小型NFA和证明其大小下限的难度。 (英语) Zbl 1159.68017号

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

理论计算机科学。形式语言、可计算性、复杂性理论、算法、通信和密码学。第三次修订和扩展版。(Theoretische Informatik,Formale Sprachen,Berechenbarkeit,Komplexitätstheorie,Algorithmik,Kommunikation und Kryptographie。) (德语) 兹比尔1128.68038

Leitfäden der Informatik公司。威斯巴登:特伯纳(ISBN 978-3-8351-0043-5/pbk)。415页。(2007).
PDF格式BibTeX公司 XML格式引用

具有和不具有\(\ε\)-转换的NFA。 (英语) Zbl 1082.68052号

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿3580385-396(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

理论计算机科学。介绍自动机、可计算性、复杂性、算法、随机化、通信和密码学。 (英语) Zbl 1113.68001号

理论计算机科学文本。EATCS系列柏林:施普林格出版社(ISBN 3-540-14015-8/hbk)。x、 313页。(2004).
PDF格式BibTeX公司 XML格式引用

双向有限自动机的非决定论与决定论:Sipser分离的推广。 (英语) Zbl 1039.68068号

Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 439-451 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

下推自动机和多计数器机器,计算模式的比较。 (英语) Zbl 1039.68554号

Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 66-80 (2003).
MSC公司:65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

随机下推自动机的威力。 (英语) Zbl 1073.68047号

Kuich,Werner(编辑)等人,《语言理论的发展》。第五届国际会议,DLT 2001,奥地利维也纳,2001年7月16-21日。修改后的文件。柏林:施普林格出版社(ISBN 3-540-43453-4)。莱克特。注释计算。科学。2295, 262-271 (2002).
MSC公司:65年第68季度 2005年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
全文: 链接

有限自动机中的不确定性度量。 (英语) Zbl 0973.68114号

Montanari,Ugo(编辑)等人,《自动化、语言和编程》。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853199-210(2000年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

拉斯维加斯的力量。二: 双向有限自动机。 (英语) Zbl 0939.68071号

Wiedermann,Jiří(编辑)等人,自动机,语言和编程。第26届国际学术讨论会,ICALP’99。捷克共和国布拉格,1999年7月11日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1644, 433-442 (1999).
PDF格式BibTeX公司 XML格式引用

拉斯维加斯与单向通信复杂性、有限自动机和多项式时间计算的决定论。 (英语) Zbl 1498.68125号

Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 117-128 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将正则表达式转换为无小(ε)的非确定性有限自动机。 (英语) Zbl 1498.68138号

Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200,55-66(1997年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式语言生成的通信复杂性。 (英语) 邮编1096.68630

Dassow,Jürgen(编辑)等人,《语言理论的发展》。二、。处于数学、计算机科学和生物学的十字路口。1995年7月17日至21日在德国马格德堡举行的会议论文。新加坡:世界科学(ISBN 981-02-2682-9)。237-246 (1996).
PDF格式BibTeX公司 XML格式引用

比较无限单词的描述复杂性和计算复杂性。 (英语) Zbl 1529.68118号

Karhumäki,Juliani(编辑)等人,《理论计算机科学的结果和趋势》。1994年6月10日至11日,奥地利格拉茨阿尔托·萨洛马学术讨论会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。812, 169-182 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言分配生成的两个下限。 (英语) Zbl 1493.68146号

Privara,Igor(编辑)等人,《1994年计算机科学的数学基础》。1994年8月22日至26日,斯洛伐克科希策,第19届国际研讨会,MFCS’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。841, 423-432 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步林登迈耶图片语言。 (英语) Zbl 0771.68073号

Lindenmayer系统。对理论计算机科学、计算机图形学和发育生物学的影响,253-261(1992)。
PDF格式BibTeX公司 XML格式引用

VLSI计算的一些复杂性方面。四: 带有程序的超大规模集成电路。 (英语) Zbl 0659.68063号

审核人:J.霍姆科维奇
MSC公司:65年第68季度 94立方厘米 65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段