摘要
JiríAdámek、Filippo Bonchi、Mathias Hülsbusch、Barbara König、Stefan Milius和Alexandra Silva。 2012年a。 关于最小化和确定性的联合观点。 在第15届软件科学与计算结构基础国际会议论文集（FOSSACS'12）。 Lars Birkedal，编辑，《计算机科学讲义》，第7213卷，施普林格出版社，柏林，58-73。 谷歌学者 
数字图书馆 
JiríAdámek、Horst Herrlich和George E.Strecker。 2009年。抽象和具体类别-猫的快乐。 多佛出版公司。 谷歌学者 JiríAdámek、Stefan Milius、Lawrence S.Moss和Lurdes Sousa。 2012年b。 井点余代数（扩展抽象）。 第15届软件科学与计算结构基础国际会议论文集（FOSSACS’12）。 Lars Birkedal，Ed.《计算机科学讲义》，第7213卷，柏林斯普林格·弗拉格，89-103。 谷歌学者 数字图书馆 M.A.Arbib和H.P.Zeiger。 1969.关于抽象代数与控制理论的相关性。 自动化5589--606。 谷歌学者 数字图书馆 M.A.Arbib和E.G.Manes。 1974年。一类机器：解释性介绍。 SIAM版本16，163--192。 谷歌学者 数字图书馆 Michael A.Arbib和Ernest G.Manes。 1975年。 伴随机器、状态-行为机器和二元性。 J.纯应用。 代数6，3，313--344。 谷歌学者 交叉引用 
M.A.Arbib和E.G.Manes。 1975年b。 半格的扩张。 阿默尔。 数学。 月份。 82, 7, 744--746. 谷歌学者 交叉引用 M.A.Arbib和E.G.Manes。 1975年。 一类模糊机器。 项目符号。 澳大利亚数学。 社会。 13, 2, 169--210. 谷歌学者 交叉引用 Michael A.Arbib和Ernest G.Manes。 1980年a。 系统理论基础：Hankel MAtrix.J.Compute。 系统。 科学。 20, 330--378. 谷歌学者 交叉引用 Michael A.Arbib和Ernest G.Manes。 1980年b。 类别中的机器。 J.纯应用。 代数19，9-20。 谷歌学者 交叉引用 N.Bezhanishvili、P.Panangaden和C.Kupke。 2012.通过二元性最小化。 《第19届逻辑、语言、计算信息研讨会论文集》（WoLLIC’12）。 L.Ong和R.de Queiroz编辑，《计算机科学讲义》，第7456卷，施普林格出版社，191-205。 谷歌学者 米歇尔·比多特（Michel Bidoit）、罗尔夫·亨尼克（Rolf Hennicker）和亚历山大·库兹（Alexander Kurz）。 2001.关于可观测性和可达性之间的二重性。 第四届软件科学和计算结构基础国际会议（FoSSaCS）论文集。 Furio Honsell和Marino Miculan编辑，《计算机科学讲义》，第2030卷，施普林格出版社，72-87页。 谷歌学者 数字图书馆 Lars Birkedal，编辑，2012年。 软件科学和计算结构基础——第15届国际会议论文集（FOSSACS’12）。 计算机科学讲义，第7213卷，施普林格。 谷歌学者 数字图书馆 Filippo Bonchi、Marcello M.Bonsangue、Jan J.M.M.Rutten和Alexandra Silva。 2012年a。 Brzozowski算法（co）代数化。 《逻辑和程序语义》，罗伯特·L·康斯特布尔和亚历山德拉·席尔瓦主编，《计算机科学讲义》，第7230卷，施普林格出版社，12-23页。 谷歌学者 数字图书馆 菲利波·邦奇（Filippo Bonchi）、马塞洛·M·邦桑格（Marcello M.Bonsangue）、米歇尔·博雷莱（Michele Boreale）、简·J·M·M·鲁顿（Jan J.M.Rutten）和亚历山德拉·席尔瓦（Ale。 2012.线性加权自动机的联合观点。 Inf.计算。 211, 77--105. 谷歌学者 数字图书馆 Marcello M.Bonsangue、Stefan Milius和Alexandra Silva。 2013年，联合语言等价性的完善公理化。 ACM事务处理。 计算。 逻辑14，1。 谷歌学者 数字图书馆 Janusz A.Brzozowski。 1962.确定事件的规范正则表达式和最小状态图。 《自动数学理论》，MRI专题讨论会系列，第12卷，理工出版社，布鲁克林理工学院，529-561。 谷歌学者 Giusi Castiglione、Antonio Restivo和Marinella Sciortino。 2011.非确定性摩尔自动机和Brzozowski算法。 在第16届国际自动化实施和应用会议（CIAA）的会议记录中。 Béatrice Bouchou-Markhoff、Pascal Caron、Jean-Marc Champarnaud和Denis Maurel编辑，《计算机科学讲义》，第6807卷，Springer，88-99页。 谷歌学者 数字图书馆 J.-M.Champarnaud、A.Khorsi和T.Paranthoön。 2002.最小化的拆分和联接：Brzozowskis算法。 布拉格弦学会议记录（PSC'02）。 M.Balík和M.Simánek Eds.，报告编号DC-2002-03。 96--104. 谷歌学者 Z.Ezik和A.Maletti。 2011.加权树自动机的模拟类别。 发现的国际期刊。 计算。 科学。 22, 8, 1845--1859. 谷歌学者 交叉引用 Mai Gehrke，2009年。 斯通二元性和代数上可识别的语言。 在第三届计算机科学代数与代数国际会议论文集（CALCO）上。 Alexander Kurz、Marina Lenisa和Andrzej Tarlecki，编辑，《计算机科学讲义》，第5728卷，施普林格出版社，236-250。 谷歌学者 数字图书馆 Mai Gehrke、Serge Grigorieff和Jean-Eric Pin。 2008年，正则语言的二重性和等式理论。 第35届自动元、语言和编程国际学术讨论会（ICALP）论文集。 Luca Aceto、Ivan Damgórd、Leslie Ann Goldberg、Magnüs M.Halldórsson、Anna Ingólfsdóttir和Igor Walukiewicz，Eds.《计算机科学讲稿》，第5126卷，Springer，246至257。 谷歌学者 数字图书馆 J.戈根。 1972年。封闭类别中机器的最小实现。 牛市。 阿默尔。 数学。 Soc.78,5777--783。 谷歌学者 交叉引用 R.卡尔曼。 1959.关于控制系统的一般理论。 IRE事务处理。 自动化。 控制4、3、110。 谷歌学者 交叉引用 R.E.Kalman、P.L.Falb和M.A.Arbib，1969年。 数学系统理论专题。 麦格劳·希尔。 谷歌学者 德克斯特·科赞。 1997年。带测试的克莱恩代数。 ACM事务处理。 程序。 语言系统。 19, 3, 427--443. 谷歌学者 数字图书馆 德克斯特·科赞。 2008年。关于kleene代数的合代数理论和测试。 康奈尔大学计算机和信息科学技术代表。 http://hdl.handle.net/1813/10173。 谷歌学者 迈克尔·拉宾（Michael O.Rabin），1963年。 概率自动机。 通知。 控制6、3、230--245。 谷歌学者 交叉引用 F.鲁门。 2011.通过对偶的标准自动机。 未发布的注释。 谷歌学者 沃尔特·鲁丁。 1962.群的傅里叶分析。 约翰·威利父子公司。 谷歌学者 Jan J.M.M.Rutten。 2000.宇宙余代数：系统理论。 西奥。 计算。 科学。 249, 1, 3--80. 谷歌学者 数字图书馆 雅克·萨卡罗维奇（Jacques Sakarovitch）。 2009.自动机原理。 剑桥大学出版社。 谷歌学者 数字图书馆 马塞尔·保罗·舒恩伯格（Marcel Paul Schützenberger）。 1961年。关于自动机族的定义。 通知。 控件4，2--3，245-270。 谷歌学者 交叉引用 亚历山德拉·席尔瓦（Alexandra Silva）、菲利波·邦奇（Filippo Bonchi）、马塞洛·M·邦桑格（Marcello M.Bonsange）和简·J·M·M·鲁顿（Jan J.M.Rutten）。 2010年，全面推广发电机组建设。 在IARCS软件技术和理论计算机科学基础年会（FSTTCS）的会议记录中。 Kamal Lodaya和Meena Mahajan，编辑，LIPIcs，第8卷，Dagstuhl-Leibniz-Zentrum fuer Informatik，272-283。 谷歌学者 D.Tabakov和M.Y.Vardi。 2005.经典自动机构造的实验评估。 在第12届国际逻辑编程、人工智能和推理会议（LPAR）的会议记录中。 G.Sutcliffe和A.Voronkov编辑，《人工智能讲义》，第3835卷，Springer出版社，396-411页。 谷歌学者 数字图书馆 布鲁斯·沃森。 2000.直接构造最小DFA：结合Brzozowski的两种算法。 第五届自动化实施和应用国际会议（CIAA）会议记录。 Sheng Yu和Andrei Paun，编辑，《计算机科学讲义》，第2088卷，Springer，311-317页。 谷歌学者 数字图书馆 詹姆斯·迈克尔·沃辛顿。 2009.自动化、表示和证明。 纽约州伊萨卡康奈尔大学博士论文。 谷歌学者
建议
语言的变体和共变体（扩展摘要） 因为同构（XxA）->X@？ X->（A->X），具有状态集X和来自字母A的输入的确定性自动机的转换结构可以被视为代数和余代数。 这种代数-代数对偶可以追溯到。。。
