×

Parikh矩阵的矩阵半群的自由度问题。 (英语) Zbl 1519.68205号

摘要:自从利用后对应问题证明了整数上(3乘3)矩阵的死亡率问题的不可判定性以来,关于矩阵半群决策问题的各种研究已经出现。特别是自由度问题受到了广泛关注,但即使是非负整数上的上三角矩阵(2乘2)的可判定性仍然是开放的。Parikh矩阵是作为Parikh向量的推广引入的上三角矩阵,已成为研究子单词出现的有用工具。在这项工作中,我们主要研究Parikh矩阵的半群,并在此背景下研究自由度问题。

MSC公司:

68兰特 单词组合学
15A30型 矩阵代数系统
2005年2月20日 自由半群,生成器和关系,单词问题
20立方米 自动机理论、语言学等中的半群。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Paterson理学硕士。3×3个领域的不可解性。应用研究。数学。,1970.49:105-107. doi:10.1002/sapm1970491105·Zbl 0186.01103号
[2] 艾伦伯格S.自动机,语言和机器,《纯粹和应用数学:专著和教科书系列》第58卷。学术出版社,纽约,1974年。国际标准图书编号:978-0-122-34001-7。
[3] Cassaigne J,Harju T,Karhum¨aki J.关于矩阵半群自由性的不可判定性。国际。代数计算杂志。,1999.9(3-4):295-305. doi:10.1142/S0218196799000199·Zbl 1029.20027号
[4] Klarner DA,Birget JC,Satterfield W.关于整数矩阵半群自由度的不可判定性。国际。代数计算杂志。,1991.1(2):223-226. doi:10.1142/S0218196791000146·Zbl 0724.20036号
[5] Cassaigne J,Nicolas F.关于半群自由的可判定性。RAIRO理论。通知。应用。,2012. 46(3):355-399. doi:10.1051/ita/2012010·Zbl 1252.20050号
[6] Bell P,Potapov I.四元数矩阵和旋转半群中的可达性问题。通知。和计算。,2008.206(11):1353-1361. doi:10.1016/j.ic.2008.06.004·Zbl 1151.03021号
[7] Charlier E,Honkala J.矩阵半群和有界语言上的自由性问题。通知。和计算。,2014.237:243-256. doi:10.1016/j.ic.2014.03.001·Zbl 1294.15013号
[8] Gawrychowski P,Gutan M,Kisielewicz A.关于乘法矩阵半群的自由性问题。定理。计算。科学。,2010.411(7-9):1115-1120. doi:10.1016/j.tcs.2009.12.005·2014年3月19日
[9] Ko-SK,Potapov I.SL(2,Z)中的矩阵半群自由问题。收录于:SOFSEM 2017:计算机科学理论与实践,《计算机课堂讲稿》第10139卷。科学。,第268-279页。施普林格,查姆,2017年。doi:10.1007/978-3-319-51963-021·Zbl 1444.20034号
[10] Duncan A,Gilman RH。单词双曲半群。数学。程序。剑桥菲洛斯。Soc.,2004年。136(3):513-524. doi:10.1017/S0305004103007497·Zbl 1064.20055号
[11] Hoffmann M,Holt DF,Owens MD,Thomas RM。无上下文词问题的半群。摘自:语言理论发展国际会议,计算机课堂讲稿第7410卷。科学。,第97-108页。施普林格,海德堡,2012年·兹比尔1370.20057
[12] Brough T,Cain AJ,Pfeiffer M.无上下文词问题半群。摘自:《语言理论的发展》,《计算机课堂讲稿》第11647卷。科学。,第292-305页。查姆施普林格,2019年·兹比尔1534.20072
[13] Mateescu A、Salomaa A、Salovaa K、Yu S.Parikh映射的锐化。理论。通知。应用。,2001.35(6):551-564. doi:10.1051/ita:2001131·Zbl 1005.68092号
[14] Poovanandran G,Teh厕所。Parikh矩阵的初等矩阵等价和核心变换图。离散应用程序。数学。,2018.251:276-289. doi:10.1016/j.dam.2018.06.002·Zbl 1401.05262号
[15] Salomaa A.单词矩阵等价性标准。定理。计算。科学。,2010.411(16-18):1818- 1827. doi:10.1016/j.tcs.2010.01.036·Zbl 1192.68422号
[16] Sérb˘anut˙a VN,Séerbᱸan ut a TF。重温了Parikh矩阵映射的内射性。基金。通知。,2006. 73(1-2):265-283. ·Zbl 1104.68058号
[17] Atanasiu A、Poovanandran G、Teh WC。Parikh鼓励学习单词重复。牛市。数学。社会科学。数学。鲁马尼,2019.62(4):325-340·Zbl 1499.68293号
[18] Teh WC,Atanasiu A,Poovanandran G.关于Parikh矩阵的强M-不模糊打印和Sérb′anut′A猜想。定理。计算。科学。,2018.719:86-93. doi:10.1016/j.tcs.2017.11.016·Zbl 1392.68334号
[19] Salomaa A.Parikh矩阵:子词指示符和歧义度。收录于:《计算机课堂笔记》第11011卷《低空和高空之间的冒险》。科学。,第100-112页。查姆施普林格,2018年。doi:10.1007/978-3-319-98355-47·Zbl 1514.68241号
[20] Mahalingam K,Subramanian KG。Parikh矩阵的乘积和交换性。国际。J.发现。计算。科学。,2012.23(1):207-223。doi:10.1142/S0129054112500049·Zbl 1254.68194号
[21] Berstel J、Perrin D、Reutenauer C.《代码和自动机》,《数学及其应用百科全书》第129卷。剑桥大学出版社,剑桥,2010年。ISBN:978-0-521-88831-8·Zbl 1187.94001号
[22] Mandel A,Simon I.关于矩阵的有限半群。定理。计算。科学。,1977/78.5(2):101-111. doi:10.1016/0304-3975(77)90001-9·Zbl 0368.20049
[23] Teh厕所。M等价词的语素可分性。国际。J.发现。计算。科学。,2016. 27(1):39-52. doi:10.1142/S012905411650039·Zbl 1339.68173号
[24] Manvel B、Meyerowitz A、Schwenk A、Smith K、Stockmeyer P。序列重建。离散数学。,1991.94(3):209-219. doi:10.1016/0012-365X(91)90026-X·Zbl 0746.05045号
[25] 阿塔那修·阿塔那修·阿塔那修(Atanasiu A.):二进制亲切的词语。国际。J.找到。计算。科学。,2007.18(2):387-400. doi:10.1142/S0129054107004735·Zbl 1123.68097号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。