马丁·库特里布 无上下文语言子类的内核。 （英语） Zbl 1440.68159号 Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 136-147 (2020). 摘要：虽然语言家族（mathscr{L}）在某些语言操作下的闭包是包含所有（mathscr{L}\）成员的最小语言家族，并且在所有操作下都是闭包的，但（mathscr{L}_）的内核是语言家族中最大的一个，是（mathsch{L}~）的一个子家族并在所有操作下关闭。在这里，我们研究了一般语言族的内核和在其上定义的操作的属性，以及（确定性）（线性）上下文无关语言的内核，重点是布尔运算。虽然语言家族的闭包通常是唯一的，但这种唯一性对于内核来说并不明显。我们考虑产生唯一和非唯一内核（即一组内核）的语系和运算的性质。对于后一种情况，解决了所有内核的并集是否与语系一致，或者是否存在不属于任何内核的语言的问题。此外，为了识别属于所有内核的语言集，还研究了所有内核相对于某些操作的交集。关于整个系列，请参见[兹比尔1435.68022]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}，莱克特。注释计算。科学。12011，136--147（2020；Zbl 1440.68159） 全文： 内政部 参考文献： [1] Bertsch，E.，Nederhof，M.J.：确定性语言的正则闭包。SIAM J.计算。29, 81-102 (1999) ·Zbl 0937.68073号 ·doi:10.1137/S009753979528682X [2] Fernau，H.，Kutrib，M.，Wendlandt，M.：自验证下推自动机。收录于：《非经典自动机模型与应用》（NCMA 2017），第329卷，第103-117页。奥地利计算机学会，维也纳（2017）。books@ocg.at [3] Ginsburg，S.：上下文无关语言的数学理论。纽约麦格劳希尔出版社（1966年）·Zbl 0184.28401号 [4] Ginsburg，S.，Spanier，E.H.：有界类ALGOL语言。事务处理。美国数学。Soc.113、333-368（1964年）·Zbl 0142.24803号 [5] Ginsburg，S.，Spanier，E.H.：Finite-turn下推自动机。SIAM J.控制。4, 429-453 (1966) ·Zbl 0147.25302号 ·数字对象标识代码：10.1137/0304034 [6] Greibach，S.A.：线性上下文无关语言识别的不可解决性。J.ACM 13，582-587（1966年）·Zbl 0148.00901号 ·doi:10.1145/321356.321365 [7] Harrison，M.A.：形式语言理论导论。Addison-Wesley，雷丁（1978）·Zbl 0411.68058号 [8] 伊利·L·、普恩·G·、罗森伯格·G·和萨洛马·A·：关于强上下文无关语言。离散应用程序。数学。103158-165（2000年）·兹比尔0958.68084 ·doi:10.1016/S0166-218X（99）00239-5 [9] Jirásková，G.：二进制正则语言上一些运算的状态复杂性。理论。计算。科学。330, 287-298 (2005) ·Zbl 1078.68088号 ·doi:10.1016/j.tcs.2004.04.011 [10] Kutrib，M.，Malcher，A.：线性无上下文语言的有限转向和正则闭包。离散应用程序。数学。155, 2152-2164 (2007) ·Zbl 1123.68062号 ·doi:10.1016/j.dam.2007.05.021 [11] Kutrib，M.，Malcher，A.，Wotschke，D.：线性无上下文语言的布尔闭包。Acta Inform公司。45, 177-191 (2008) ·Zbl 1144.68035号 ·doi:10.1007/s00236-007-0068-6 [12] Okhotin，A.：线性连接语言的自动机表示。收录于：Ito，M.，Toyama，M.（编辑）DLT 2002。LNCS，第2450卷，第393-404页。斯普林格，海德堡（2003）。https://doi.org/10.1007/3-540-45005-X_35 ·Zbl 1015.68093号 ·doi:10.1007/3-540-45005-X_35 [13] R.J.帕里克：关于无语境语言。《美国医学会期刊》13，570-581（1966）·Zbl 0154.25801号 ·数字对象标识代码：10.1145/321356.321364 [14] Wotschke，D.：PDA中的非确定性和布尔运算。J.计算。系统。科学。16, 456-461 (1978) ·Zbl 0376.68052号 ·doi:10.1016/0022-0000（78）90030-2 [15] Wotschke，D.：确定性和非确定性上下文无关语言的布尔闭包。收录：Brauer，W.（编辑）GI 1973。LNCS，第1卷，第113-121页。斯普林格，海德堡（1973）。https://doi.org/10.1007/3-540-06473-7_11 ·Zbl 0271.68056号 ·doi:10.1007/3-540-06473-7_11 [16] 沃奇克，D·兹比尔0354.68096 ·doi:10.1016/S0022-0000（77）80012-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。