David A.Klarner。;珍妮·卡米尔·比吉特;韦德·萨特菲尔德 关于整数矩阵半群自由性的不可判定性。 （英语） Zbl 0724.20036号 国际代数计算杂志。 第1卷第2期，第223-226页（1991年）. 以下问题被证明是不可判定的：给定一个正整数\（k\）和具有非负整数项的给定\（k\）\（3\乘3\）矩阵\（M_0，M_1，…，M_{k-1}\）；这些矩阵在矩阵乘积自由下生成的半群吗？邮政通信问题简化为这个问题。审核人：J.C.Birget（林肯） 引用于26文件 MSC公司： 2005年5月20日 自由半群，生成器和关系，单词问题 20平方米 变换、关系、分区等的半群。 第15页第30页 矩阵代数系统 关键词：自由半群;整数矩阵;无法确定的问题;生成器和关系;邮政通信问题 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Klarner}等人，《国际代数计算》。1，第2号，223--226（1992；Zbl 0724.20036） 全文： 内政部