曼弗雷德·德罗斯特;迪特里赫·库斯克 加权自动机。 （英语） Zbl 1508.68189号 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150 (2021). 引言：经典自动机为单词提供了接受机制。的起点加权自动机是确定接受一个单词的方式或用于此的资源量。因此，加权自动机的行为与每个单词的数量或重量。本章的目的是研究行为。有关整个系列，请参见[Zbl 1470.68001号]. 引用于14文件 MSC公司： 65年第68季度 形式语言和自动机 软件：蒂布隆 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{D.Kuske}，收录于：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150（2021年；Zbl 1508.68189） 全文： 内政部 参考文献： [1] J.Albert和J.Kari，数字图像压缩。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第11章，453-479。MR 2777737 q.v.142 [2] C.Allauzen、M.Riley、J.Schalkwyk、W.Skut和M.Mohri，Openfst：一个通用且科学的加权有限状态传感器库。《自动机的实现和应用》（J.Holub和J.Zdárek编辑）。2007年7月16日至18日在捷克共和国布拉格举行的第12届国际会议记录。计算机科学课堂讲稿，4783。施普林格，柏林，2007年11月23日。兹比尔1139.68352对143案·兹比尔1139.68352 [3] S.Almagor、U.Boker和O.Kupferman，加权自动机的决定因素是什么？《验证和分析自动化技术》（T.Bultan和P.Hyung编辑）。第9届国际研讨会论文集，亚洲电视协会2011年10月11日至14日，台湾台北。计算机科学课堂讲稿，6996。柏林施普林格，2011年，482-491。Zbl 1348.68089 q.v.137·Zbl 1348.68089号 [4] R.Alur和P.Madhusudan，为单词添加嵌套结构。J.ACM 56（2009），第3号，第16条，43页MR 2536131 Zbl 1325.68138 q.v.142·Zbl 1325.68138号 [5] R.Alur、S.L.Torre和G.Pappas，加权时间自动机中的最优路径。理论。计算。科学。318（2004），第3期，297-322。MR 2060516 Zbl 1068.68080 q.v.143·Zbl 1068.68080号 [6] F.Baader和R.Peñaloza，基于自动化的公理精确定位。J.自动化。原因。45（2010），第2期，第91-129页。MR 2670458 Zbl 1213.68589 q.v.142·Zbl 1213.68589号 [7] P.Babari和M.Droste，加权图像自动机和加权MSO逻辑的Nivat定理。J.计算。系统科学。104 (2019), 41-57. MR 3959705 Zbl 1423.68242 q.v.142·Zbl 1423.68242号 [8] P.Babari、M.Droste和V.Perevoshchikov，数据字上的加权寄存器自动机和加权逻辑。理论。计算。科学。744 (2018), 3-21. MR 3852479 Zbl 06942947 q.v.142·Zbl 1400.68097号 [9] G.Behrmann、A.Fehnker、T.Hune、K.Larsen、P.Pettersson、J.Romijn和F.Vaan-drager，定价时间自动机的最小成本可达性。在混合系统中：通信和控制（M.D.Di Benedetto和A.L.Sangiovanni-Vincentelli编辑）。2001年3月28日至30日，在意大利罗马举行的HSCC 2001第四届国际研讨会。计算机科学课堂讲稿，2034年。施普林格，2001年，柏林，147-161。Zbl 0991.68037 q.v.143号·Zbl 0991.68037号 [10] J.Berstel，转喻和无语境语言。Leitfäden der angewantten Mathe matik and Mechanik，38岁。B.G.Teubner，斯图加特，1979年。MR 0549481 Zbl 0424.68040 q.v.116·Zbl 0424.68040号 [11] J.Berstel和C.Reutenauer，树上可识别的形式幂级数。理论。计算。科学。18（1982），第2期，第115-148页。MR 0652467 Zbl 0485.68077 q.v.142·Zbl 0485.68077号 [12] J.Berstel和C.Reutenauer，非交换有理级数及其应用。数学及其应用百科全书，137。剑桥大学出版社，剑桥，2011年。（Rational系列及其语言的新版本。EATCS理论计算机科学专著，12。柏林施普林格，1988年）MR 2760561 Zbl 1250.68007 q.v.113、127、140、141·Zbl 0668.68005号 [13] B.Bollig和P.Gastin，加权逻辑与概率逻辑。《语言理论的发展》（V.Diekert和D.Nowotka编辑）。2009年6月30日至7月3日在斯图加特举行的第13届国际会议（DLT 2009）的会议记录。计算机科学讲义，5583。柏林施普林格，2009年，18-38。MR 2544688 Zbl 1247.03067 q.v.131、132·Zbl 1247.03067号 [14] B.Bollig、P.Gastin、B.Monmege和M.Zeitoun，《卵石加权自动机和加权逻辑》。ACM事务处理。计算。日志。15（2014），第2号，第15条，35页MR 3205543 Zbl 1291.03076 q.v.141·Zbl 1291.03076号 [15] P.Bouyer、E.Brinksma和K.Larsen，多值时间自动机的最优无限调度。形式方法系统。设计。32（2008），第1期3-23。Zbl 1133.68360 q.v.143号·Zbl 1133.68360号 [16] P.Bouyer、U.Fahrenberg、K.Larsen、N.Markey和J.Srba，《无限》在能量约束的加权时间自动机中运行。在时间系统的形式化建模和分析中（F.Cassez和C.Jard，eds.）。第六届国际会议记录，FORMATS 2008，法国圣马洛，2008年9月15日至17日。计算机科学课堂讲稿，5215。柏林施普林格出版社，2008年，第33-47页。Zbl 1171.68524 q.v.143号·Zbl 1171.68524号 [17] S.Bozapalidis，树上可识别序列的句法代数的有效构造。Acta Inform公司。28（1991），第4期，351-363。MR 1101645 Zbl 0697.68074第142号案·兹伯利0697.68074 [18] S.Bozapalidis，代表性树木系列。基金。通知。21（1994），第4367-389号。MR 1322581 Zbl 0824.68083 q.v.142·Zbl 0824.68083号 [19] G.Bruns和P.Godefroid，用多值逻辑进行模型检查。在Automata中，语言和编程（J.Díaz、J.Karhumäki、A.Lepistö和D.Sannella编辑）。2004年7月12日至16日在图尔库举行的第31届国际学术讨论会（ICALP 2004）会议记录。计算机科学课堂讲稿，3142。柏林施普林格，2004年，281-293。MR 2160940 Zbl 1098.68079 q.v.143·Zbl 1098.68079号 [20] Büchi，弱二阶算法和有限自动机。Z.数学。Logik Grundlagen数学。6 (1960), 66-92. MR 0125010 Zbl 0103.24705 q.v.129·Zbl 0142.24902号 [21] 布哈拉耶夫。“Nauka”，莫斯科，1985年。德语翻译，自动随机理论。图布纳，斯图加特，1995年。MR 0802071 Zbl 0612.68050 Zbl 1062.68561（翻译）q.v.113 [22] K.Chatterjee、L.Doyen和T.Henzinger，定量语言的表达性和闭包属性。日志。方法计算。科学。6（2010），第3期，3:10，23 pp.MR 2718106 Zbl 1200.68135 q.v.142·Zbl 1200.68135号 [23] K.Chatterjee、L.Doyen和T.Henzinger，《定量语言》。ACM事务处理。计算。日志。11（2010），第4号，第23条，第38页，MR 2761232 Zbl 1351.68155 q.v.142·Zbl 1351.68155号 [24] M.Chechik、B.Devereux和A.Gurfinkel，使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。在模型检查软件中（M.B.Dwyer，ed.）。2001年5月19日至20日，加拿大多伦多，第八届SPIN国际研讨会的成果。计算机科学课堂讲稿。2057.施普林格，柏林，2001年，16-36。Zbl 0985.68031 q.v.143号·Zbl 0985.68031号 [25] K.Čulik II和J.Karhumäki，有限自动机计算实函数。SIAM J.Com提出。23（1994），第4期，789-814。MR 1283575 Zbl 0820.68061 q.v.142·兹比尔0820.68061 [26] K.Chulik II和J.Kari，使用加权有限自动机进行图像压缩。计算机与图形17（1993），第3期，305-313。问题142 [27] V.Diekert和G.Rozenberg（编辑），《痕迹之书》。世界科学出版公司，新泽西州River Edge，1995年。MR 1478992 q.v.142 [28] M.Droste和S.Dück，图上的加权自动机和逻辑。2015年计算机科学数学基础（G.F.Italiano、G.Pighizini和D.Sannella编辑）·Zbl 1465.68140号 [29] 第一部分：2015年8月24日至28日在米兰举行的第40届国际研讨会（MFCS 2015）会议记录。计算机科学课堂讲稿，9234。斯普林格，海德堡，2015年，192-204年。MR 3419427 Zbl 06482735 q.v.142 [30] M.Droste和S.Dück，无限嵌套词的加权自动机和逻辑。通知。和计算。253（2017），第3部分，448-466。MR 3621763 Zbl 1364.68249 q.v.142号·Zbl 1364.68249号 [31] M.Droste、S.Duck、D.Mandrioli和M.Pradella，加权运算符优先语言。在第42届计算机科学数学基础国际研讨会上。（K.G.Larsen、H.L.Bodlaender和J.Raskin编辑）。2017年8月21日至25日在奥尔堡举行的研讨会（MFCS 2017）会议记录。LIPIcs公司。莱布尼茨国际信息学专业，83。达格斯图尔宫。莱布尼兹·泽特鲁姆·富勒·Informatik，Wadern，2017年，第31条，第15页，MR 3755324 q.v.142·Zbl 1441.68121号 [32] M.Droste、Z.E-sik和W.Kuich、Conway和迭代半环。（1） 第1部分：。国际。J.代数计算。24（2014），第4期，461-482。（2） 第2部分。国际。J.代数计算。24（2014），第4期，483-513。MR 3227822（1）MR 3227823（2）Zbl 1369.16048（1）Zbl 1369.16049（2）q.v142·兹伯利1369.16049 [33] M.Droste和P.Gastin，加权自动机和加权逻辑。理论。计算。科学。380（2007），第1-2、69-86号。MR 2330642 Zbl 1118.68076第129、130、134、141号案·Zbl 1118.68076号 [34] M.Droste和P.Gastin，关于部分协调变量中的非周期和无星形式幂级数。理论计算。系统。42（2008），第4期，608-631。MR 2385633 Zbl 1140.68032 q.v.141号·Zbl 1140.68032号 [35] M.Droste和P.Gastin，加权自动机和加权逻辑。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第5章，175-211。MR 2777731 q.v.129、130、133、134、142 [36] M.Droste和W.Kuich，半环和形式幂级数。在M.Droste、W.Kuich和H.Vogler（编辑）[37]，第1章，3-28。MR 2777727 q.v.115、123 [37] M.Droste和W.Kuich，半环上的加权有限自动机。理论。计算。科学。485 (2013), 38-48. MR 3046952 Zbl 1292.68103 q.v.142号·Zbl 1292.68103号 [38] M.Droste、W.Kuich和H.Vogler（编辑），《加权自动机手册》。理论计算机科学专著。EATCS系列。施普林格，柏林，2009年。MR 2777706 Zbl 1200.68001 q.v.113、141、143、146、147、148、149·Zbl 1200.68001号 [39] M.Droste和D.Kuske，Skew和无穷形式幂级数。理论。计算。科学。366（2006），第3期，199-227。MR 2275271 Zbl 1154.68067 q.v.142号·Zbl 1154.68067号 [40] M.Droste和I.Meinecke，赋值幺半群上的加权自动机和正则表达式。国际。J.发现。计算。科学。22（2011），第8期，1829-1844。MR 2874349 Zbl 1251.68130 q.v.142·Zbl 1251.68130号 [41] M.Droste和I.Meinecke，平均和长期行为的加权自动机和加权MSO逻辑。通知。和计算。220/221 (2012), 44-59. MR 2996753 Zbl 1279.68148 q.v.141、142·Zbl 1279.68148号 [42] M.Droste和V.Perevoschchikov，多加权自动机和MSO逻辑。计算机科学理论与应用（A.A.Bulatov和A.M.Shur编辑）。2013年6月25日至29日在叶卡捷琳堡举行的第八届俄罗斯国际计算机科学研讨会（CSR 2013）会议记录。计算机科学课堂讲稿，7913。施普林格，海德堡，2013，418-430。MR 3101994 Zbl 1344.68117 q.v.143·Zbl 1264.68003号 [43] M.Droste和V.Perevoshchikov，加权时间自动机和加权相对距离逻辑的Nivat定理。《自动化、语言和编程》（J.Esparza、P.Fraignaud、T.Husfeldt和E.Koutsopuias编辑）。第二部分。2014年7月8日至11日在哥本哈根信息技术大学举行的第41届国际学术讨论会（ICALP 2014）会议记录。计算机科学课堂讲稿，8573。斯普林格，海德堡，2014，171-182。MR 3238370 Zbl 06312312 q.v.128、143·Zbl 1409.68158号 [44] M.Droste和K.Quaas，加权时间自动机的Kleene-Schützenberger定理。理论。计算。科学。412（2011），编号12-14，1140-1153。MR 2797755 Zbl 1217.68128 q.v.143·Zbl 1217.68128号 [45] M.Droste和G.Rahonis，带折扣的加权自动机和加权逻辑。理论。计算。科学。410（2009），第37号，3481-3494。MR 2553024 Zbl 1191.68382 q.v.142号·Zbl 1191.68382号 [46] M.Droste和H.Vogler，无等级树自动机的加权逻辑。理论计算。系统。48（2011），第1期，23-47。MR 2753686 Zbl 1226.03048 q.v.142·Zbl 1226.03048号 [47] M.Droste和H.Vogler，任意有界格上的加权自动机和多值逻辑。理论。计算。科学。418 (2012), 14-36. MR 2885876 Zbl 1245.03060 q.v.141、142·Zbl 1245.03060号 [48] M.Droste和H.Vogler，定量无上下文语言的Chomsky-Schützenberger定理。语言理论发展。（M.-P.Béal和O.Carton编辑）。2013年6月18日至21日，第17届国际会议（DLT 2013）在巴黎大学（Marne-la-Vallée）举行。计算机科学课堂讲稿，7907。施普林格，海德堡，2013，203-214。MR 3097329 q.v.142·Zbl 1381.68114号 [49] S.Dück，无限图上的加权自动机和逻辑。《语言理论的发展》（S.Brlek和C.Reutenauer编辑）。2016年7月25日至28日，第20届国际会议（DLT 2016）在昆士兰蒙特勒举行。计算机科学课堂讲稿，9840。施普林格，柏林，2016，151-163。MR 3558098 Zbl 06620593 q.v.142号·Zbl 1436.03214号 [50] A.Ehrenfeucht和G.Rozenberg，T结构、T函数和文本。理论。计算。科学。116（1993），第2期，227-290。MR 1231945 Zbl 0783.68097 q.v.142号·Zbl 0783.68097号 [51] S.Eilenberg、Automata、语言和机器。纯数学和应用数学，58。学术出版社，纽约，1974年。MR 0530382 Zbl 0317.94045 q.v.113、141·兹伯利0317.94045 [52] C.C.Elgot，有限自动机设计的决策问题和相关算法。事务处理。阿米尔。数学。《社会》98（1961），21-51。MR 0139530 Zbl 0111.01102 q.v.129号·Zbl 0111.01102号 [53] 张爱植，不动点理论。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第2章，29-65。问题141 [54] Z.E-sik和W.Kuich，半环半模的推广-常规语言·Zbl 1161.68524号 [55] I.J.汽车。语言梳。10（2005），编号2-3，203-242。（2） 二、。J.汽车。语言梳。10（2005），第2-3、243-264号。MR 2285329（1）MR 22850330（2）Zbl 1161.68025（1）Zbl1161.68524（2）q.v.142 [56] Z.E-sik和W.Kuich，有限自动机。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第3章，69-104。MR 2777729 q.v.141 [57] Z.Esik和W.Kuich，加权有限自动机的统一Kleene定理。《计算机科学的彩虹》（C.Calude、G.Rozenberg和A.Salomaa编辑）。在赫尔曼·莫勒70岁生日之际献给他。计算机科学讲义，6570。施普林格，海德堡，2011年，76-89。MR 2805551 Zbl 1318.68121 q.v.141·Zbl 1318.68121号 [58] I.Fichtner，加权图自动机和加权逻辑。理论计算。系统。48（2011），第1期，48-78。MR 2753687 Zbl 1229.03035 q.v.142·Zbl 1229.03035号 [59] I.Fichtner、D.Kuske和I.Meinecke，《痕迹、系列平行偏序集和图片：一项加权研究》。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第10章，405-450。MR 2777736 q.v.142·Zbl 1484.68084号 [60] M.Fliess，《汉克尔矩阵》。数学杂志。Pures应用程序。(9) 53 (1974), 197-222. 勘误表，同上，54（1975），第4、481号。MR 0364328 MR 0466230（勘误表）Zbl 0315.94051·Zbl 0315.94051号 [61] Z.Fülöp和H.Vogler，加权树自动机和树变换器。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第9章，13-403。MR 2777735 q.v.142 [62] D.Giammaresi、A.Restivo、S.Seibert和W.Thomas，矩形图上的一元二阶逻辑和通过分片系统的识别性。通知。和计算。125（1996），第1期，32-45。MR 1385806 Zbl 0853.68131 q.v.142·Zbl 0853.68131号 [63] J.戈兰，半环及其应用。Kluwer学术出版社，多德雷赫特，1999年。MR 1746739 Zbl 0947.16034 q.v.115·Zbl 0947.16034号 [64] S.Gottwald，一篇关于多值逻辑的论文。逻辑与计算研究，9。研究出版社，巴尔多克，2001年。MR 1856623 q.v.131·Zbl 1048.03002号 [65] P.Hájek，模糊逻辑的元数学。Logic-Studia Logica Library趋势，4。Kluwer学术出版社，多德雷赫特，1998年。MR 1900263 q.v.131·Zbl 0937.03030号 [66] T.Harju和J.Karhumäki，多任务有限自动机的等价问题。理论计算。科学。78（1991），第2号，A部分，347-355。MR 1095985 Zbl 0727.68063 q.v.143号·兹比尔0727.68063 [67] K.Hashigushi，用距离函数改进有限自动机上的极限定理。理论。计算。科学。72（1990年），第1期，第27-38页。MR 1065598 Zbl 0693.68031 q.v.143号·Zbl 0693.68031号 [68] H.Hoogeboom和P.ten Pas，Monadic二阶可定义文本语言。理论计算。系统。30（1997），第4期，335-354。MR 1450859 Zbl 0872.68096 q.v.142·Zbl 0872.68096号 [69] G.Jacob，Repésentations et substitutions matricieles dans la theorie algébrique des transoductions，《再现与替代》。Thèse Sci。数学。巴黎第七大学，巴黎，1975年。问题126 [70] M.Kaminsky和N.Francez，有限记忆自动机。理论。计算。科学。134 (1994), 329-363. MR 1304667 Zbl 0938.68711 q.v.142·Zbl 0938.68711号 [71] J.Kari，使用有限自动机进行图像处理。《形式语言和应用的最新进展》（Z.Es sik、C.M.Vide和C.Mitrana编辑）。计算智能研究，25。柏林施普林格，2006年，171-208年。问题142·Zbl 1116.68044号 [72] B.Khoussainov和A.Nerode，自动机理论及其应用。计算机科学与应用逻辑进展，21。Birkhäuser Boston，马萨诸塞州波士顿，2001年。MR 1839464 Zbl 1083.68058 q.v.129·Zbl 1083.68058号 [73] D.Kirsten，距离沙漠自动机和恒星高度问题。西奥。通知。申请。39（2005），第3期，455-509。MR 2157045 Zbl 1082.20041 q.v.143·Zbl 1082.20041号 [74] D.Kirsten，无零和交换半环上可识别级数的支持是可识别的。《网络学报》。20（2011），第211-221号。MR 2907803兹比尔1265.68103第139案·Zbl 1265.68103号 [75] D.Kirsten，半环的一个代数特征，其支持的每个可识别序列都是可识别的。理论。计算。科学。534（2014），第45-52页。MR 3197774 Zbl 1358.68203 q.v.140·Zbl 1358.68203号 [76] K.Knight和J.May，Tiburon：加权树自动机工具包。《自动机的实现和应用》（O.H.Ibarra和H.Yen编辑）。2006年8月21日至23日，第11届国际会议记录，CIAA 2006，台湾台北。计算机科学课堂讲稿，4094。柏林施普林格，2006年，102-113。Zbl 1160.68423 q.v.143号·Zbl 1160.68423号 [77] K.Knight和J.May，加权自动机在自然语言处理中的应用。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第14章，571-596。MR 2777740 q.v.143·Zbl 1484.68263号 [78] D.Krob，热带半环中具有多重性的有理级数的等式问题是不可判定的。国际。J.代数计算。4（1994），第3期，405-425。MR 1297148 Zbl 0834.68058 q.v.136·Zbl 0834.68058号 [79] W.Kuich，半环和形式幂级数：它们与形式语言和自动机的相关性。《正式语言手册》（G.Rozenberg和A.Salomaa编辑）。第1卷。单词，语言，语法。柏林施普林格，1997年，609-677。MR 1470001 q.v.142 [80] W.Kuich，树变换器和形式树系列。《网络学报》。14（1999），第1期，135-149。献给F.Gécseg教授。MR 1682019 Zbl 0926.68063 q.v.142·Zbl 0926.68063号 [81] W.Kuich和A.Salomaa，半环，自动机，语言。EATCS理论计算机科学专著，5。施普林格，柏林，1986年。MR 0817983 Zbl 0582.68002 q.v.113、141、142·兹比尔0582.68002 [82] O.Kupferman和Y.Lustig，格自动机。2007年1月14日至16日在尼斯举行的第八届国际会议（VMCAI 2007）论文集《验证、模型检验和ab-stract解释》（B.Cook和A.Podelski编辑）。计算机科学讲义，4349。施普林格，柏林，2007年，199-213年。MR 2362253 Zbl 1132.68455 q.v.143号·Zbl 1132.68455号 [83] 库斯克，Schützenberger关于形式幂级数的定理是从Kleene的理论出发的。计算。科学。401（2008），编号1-3，243-248。MR 2431842 Zbl 1147.68043 q.v.125·Zbl 1147.68043号 [84] V.Lonati、D.Mandrioli、F.Panella和M.Pradella，《运算符优先语言：它们的自动机理论和逻辑特征》。SIAM J.计算。44（2015），第4期，1026-1088。MR 3376793 Zbl 06477902 q.v.142·Zbl 1522.68278号 [85] A.Maletti，《调查：加权自上而下扩展树传感器》。第二部分——机器翻译的应用。基金。通知。112（2011），第2-3、239-261号。MR 2918608 Zbl 1251.68275 q.v.143·Zbl 1251.68275号 [86] E.Mandrali和G.Rahonis，具有折扣的可识别树系列。《网络学报》。19（2009），第2期，411-439。MR 2584156 Zbl 1224.68048 q.v.142号·Zbl 1224.68048号 [87] C.马蒂森，文本的可定义转义和加权逻辑。理论。计算。科学。411（2010），第3期，631-659。MR 2590141 Zbl 1184.68322 q.v.142·Zbl 1184.68322号 [88] 马蒂森，嵌套词的加权逻辑和代数形式幂级数。日志。方法计算。科学。6（2010），第1号，1:5，34 pp.MR 2594957 Zbl 1189.68076 q.v.142·Zbl 1189.68076号 [89] R.McNaughton和S.A.Papert，无计数器自动机。附有W.Henne-man的附录。麻省理工学院研究专著，65。麻省理工学院出版社，马萨诸塞州剑桥和伦敦，1971年。MR 0371538 Zbl 0232.94024 q.v.141 [90] I.Meinecke，加权自动机的估值：以理性的方式进行。在计算机科学的代数基础中（W.Kuich和G.Rahonis编辑）。在S.Bozapalidis退休之际献给他的散文。包括2011年11月7日至8日在塞萨洛尼基举行的研讨会上的论文。计算机科学课堂讲稿，7020。施普林格，柏林，2011年，309-346。MR 2923817 Zbl 1350.68175 q.v.142·Zbl 1350.68175号 [91] M.Minsky，图灵机器理论中Post的“标签”问题和其他主题的递归不可解性。数学年鉴。(2) 74 (1961), 437-455. MR 0140405 Zbl 0105.00802 q.v.137·Zbl 0105.00802号 [92] M.Mohri，加权自动机算法。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第6章，213-254。MR 2777732 q.v.143·Zbl 1484.68092号 [93] M.Nivat，乔姆斯基语言转导。《傅里叶学会年鉴》（格勒诺布尔）第18卷（1968年），fasc。1, 339-455. MR 0238633 Zbl 0313.68065 q.v.127、128·Zbl 0313.68065号 [94] A.Panholzer，Gröbner基和上下文无关语法生成函数的定义多项式。J.汽车。语言梳。10（2005），第1期，79-97。MR 2192586 Zbl 1087.68046 q.v.143·Zbl 1087.68046号 [95] A.Paz，概率自动机导论。学术出版社，纽约和伦敦，1971年。MR 0289222 Zbl 0234.94055 q.v.113·Zbl 0234.94055号 [96] I.Petre和A.Salomaa，代数系统和下推自动机。M.Droste、W.Kuich和H.Vogler（编辑），[37]，第7章，257-289。MR 2777733 q.v.142·Zbl 1484.68109号 [97] K.Quaas，加权时间自动机的MSO逻辑。形式方法系统。设计。38（2011），第3期，193-222。Zbl 1258.68089 q.v.143号·Zbl 1258.68089号 [98] G.Rahonis，加权Muller树自动机和加权逻辑。J.汽车。Lang.梳。12（2007），第455-483号。MR 2401475 Zbl 1144.68036 q.v.142号·Zbl 1144.68036号 [99] A.Restivo和C.Reutenauer，关于有理幂级数支持的语言的消去性质。J.计算。系统科学。29（1984），第2期，153-159。MR 0773418 Zbl 0578.68061 q.v.140·Zbl 0578.68061号 [100] J.Sakarovitch，《自动化技术研究》。《Vuibert Informatique》，巴黎，2003年。英语翻译，自动机原理。剑桥大学出版社，2009年。R.Thomas翻译。剑桥大学出版社，剑桥，2009年。MR 2567276 Zbl 1188.68177（英语版）Zbl 1178.68002（法语版）q.v.113，141 [101] J.Sakarovitch，理性和公认的权力序列。《加权自动数据手册》（M.Droste、W.Kuich和H.Vogler编辑）。理论计算机科学专著。EATCS系列。柏林施普林格出版社，2009年，第4章，105-174。MR 2777730 q.v.136、141、143 [102] A.Salomaa和M.Soittola，形式幂级数的自动机理论方面。计算机科学的文本和专著。施普林格，柏林，1978年。MR 0483721 Zbl 0377.68039 q.v.113、141、142·Zbl 0377.68039号 [103] M.P.Schützenberger，关于自动机家族的定义。信息与控制4（1961），245-270。MR 0135680 Zbl 0104.00702 q.v.113、118、125、136、138·Zbl 0104.00702号 [104] M.P.Schützenberger，关于只有平凡子群的有限幺半群。信息与控制8（1965）190-194。MR 0176883 Zbl 0131.02001 q.v.141·Zbl 0131.02001号 [105] H.Seidl，具有成本函数的有限树自动机。理论。计算。科学。126（1994），第1期，113-142。第十七届代数与程序设计中的树学术讨论会（CAAP’92）和欧洲程序设计研讨会（ESOP）（Rennes，1992）。MR 1268025 Zbl 0805.68085第142号案·兹比尔0805.68085 [106] A.Semenov，АЛГоритмибескиетроблемаеатеннтхраовикнекстно-саабонхГркамтиак。多克。阿卡德。Nauk SSSR 212（1973），50-52。英语翻译，幂级数的算法问题和上下文无关语法。苏联。数学。，多克。14 (1973), 1319-1322. MR 0331884 Zbl 0322.68052 q.v.143号·Zbl 0322.68052号 [107] E.D.Sontag，关于合理性和可判定性的一些问题。J.计算。系统科学。11（1975），第3期，375-381。MR 0416878 Zbl 0357.68064 q.v.138·Zbl 0357.68064号 [108] 托马斯，在符号逻辑中对规则事件进行分类。J.计算。系统科学。25（1982），第3期，360-376。MR 0684265 Zbl 0503.68055 q.v.141·Zbl 0503.68055号 [109] 托马斯，偏序自动机理论的要素。在验证的部分顺序方法中（D.A.Peled、V.R.Pratt和G.J.Holzmann编辑）。DI-MACS研讨会（POMIV’96）的论文，该研讨会是1996年7月24日至26日在新泽西州普林斯顿大学举行的DIMACS逻辑和算法特别年的一部分。离散数学和理论计算机科学DIMACS系列，29。美国数学学会，普罗维登斯，RI，1997年。MR 1440887 Zbl 0882.54017 q.v.142 [110] 托马斯，语言，自动机和逻辑。《正式语言手册》（G.Rozenberg和A.Salomaa编辑）。第3卷。超越语言。柏林施普林格，1997389-455。MR 1470024 q.v.129 [111] B.Trakhtenbrot（特拉赫滕布罗特）。多克。阿卡德。诺克SSSR 140，326-329。英语翻译，有限自动机和单位置谓词逻辑。苏联物理学博士。6 (1961), 753-755. MR 0143693 Zbl 0115.00702 q.v.129·Zbl 0115.00702号 [112] J.Waldmann，《自动终止》。《重写技术与应用》（R.Treinen编辑）。2009年6月29日至7月1日在巴西利亚举行的第20届国际会议记录。计算机科学讲义，5595。柏林施普林格，2009年1月16日。MR 2545465 Zbl 1242.68143 q.v.143·兹比尔1242.68143 [113] 王宏，关于半环的特征。休斯顿J.数学。23（1997），第3期，391-405。MR 1689978 Zbl 0899.16027 q.v.139·Zbl 0899.16027号 [114] 韦克勒，自动机和语言理论中的模糊概念。附V.Dimitrov的附录。Studien zur代数与ihre Anwendungen，5。Akademie-Verlag，柏林，1978年。MR 0533359 Zbl 0401.94048 q.v.113·Zbl 0401.94048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。