×

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

自动化最小化。 (英语) Zbl 1517.68173号

Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。337-373 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

合理选择关系和选择器。 (英语) Zbl 1451.68213号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8977, 716-726 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Hopcroft的自动机最小化算法和Sturmian单词。 (英语) Zbl 1355.68211号

第五次数学和计算机科学座谈会。2008年9月22日至26日在德国布劳伯伦举行的座谈会上的演讲。南希:协会。离散数学与理论计算机科学(DMTCS)。《离散数学与理论计算机科学学报AI》,351-362(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

首次对斯特米安树进行调查。 (英语) Zbl 1186.68343号

Thomas,Wolfgang(编辑)等人,STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70917-6/pbk)。计算机科学课堂讲稿4393,73-84(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

保存可识别语言的操作。 (英语) Zbl 1278.68131号

Lingas,Andrzej(编辑)等人,《计算理论基础》。2003年8月12日至15日在瑞典马尔默举行的第14届国际研讨会,FCT 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40543-7/pbk)。莱克特。注释计算。科学。2751, 343-354 (2003).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平衡语法及其语言。 (英语) Zbl 1060.68051号

Brauer,Wilfried(编辑)等人,《形式和自然计算》。献给格列泽戈斯·罗森伯格的论文。柏林:施普林格出版社(ISBN 3-540-43190-X)。莱克特。注释计算。科学。2300, 3-25 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件