斯塔夫罗斯·康斯坦蒂尼迪斯;内尔玛·莫雷拉;罗杰里奥·里斯 使用自动机和传感器随机生成错误控制代码。 （英语） Zbl 1423.68260号 西奥·雷罗。通知。申请。 52，编号2-4169-184（2018）. 摘要：对于（0,1）中的某些参数，我们引入了最大错误检测块码的概念，以便形式化块码在错误检测方面接近最大的情况。我们这样做的动机是，在计算上很难确定错误检测块代码是否最大。我们提出了一种输出多项式时间随机化算法，该算法将两个正整数（N）和（ell）作为输入，并指定某些应用程序中允许的错误，然后生成最大长度为99%或包含高可能性的（N）字的错误检测或纠错块码。我们将误差规范建模为（非确定性）传感器，它允许一个传感器表示替代误差和同步误差的任何合理组合。我们还介绍了实现各种错误检测属性及其相关方法的一些元素。然后，我们对实现的随机算法在不同的错误规范上进行了几次测试。方法论的一个贡献是展示了各种期望的错误组合是如何被形式化表达并通过算法进行处理的。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 68瓦20 随机算法 94A40型 信息与通信理论中的信道模型（包括量子） 94B25型 组合码 关键词：随机算法;输出多项式时间算法;错误控制代码;最大码;同步错误;组合信道 软件：FAdo公司;古伊塔;派比;蟒蛇 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}等人，RAIRO，Theor。通知。申请。52，编号2--4，169-184（2018；Zbl 1423.68260） 全文： 内政部 参考文献： [1] A.Almeida、M.Almeda、J.Alves、N.Moreira和R.Reis、FAdo和GUItar：自动化操作和可视化工具。程序中。《CIAA 2009》，澳大利亚悉尼，S.Maneth编辑。计算机科学讲义第5642卷。Springer-Verlag（2009）65-74·doi:10.1007/978-3642-02979-0_10 [2] J.Berstel，转喻和上下文无关语言。B.G.Teubner，斯图加特（1979）·Zbl 0424.68040号 [3] 陈振中，拟扭曲双权码的计算机构造。第六届最佳代码和相关主题国际研讨会（2009）62-68 [4] K.Dudzinski和S.Konstantinidis，代码属性的形式化描述：可判定性、复杂性、实现。发现的国际期刊。计算。科学。23 (2012) 67-85 ·Zbl 1279.68149号 ·doi:10.1142/S0129054112400059 [5] FAdo，正式语言操作工具。2016年1月访问。网址：。 [6] D.B.Jaffe，长度≤30的最优二进制线性码。程序中。1998年信息理论国际研讨会（1998）17·Zbl 0976.94031号 ·doi:10.1109/ISIT.1998.708596 [7] D.S.Johnson，C.H.Papadimitriou和M.Yannakakis，关于生成所有最大独立集。信息处理。莱特。27 (1988) 119-123 ·兹伯利0654.68086 [8] H.Jürgenesen和S.S.Yu，固体代码。Elektron公司。信息不一而足。凯伯内提克。26 (1990) 563-574 ·兹比尔0718.94007 [9] M.M.Kanté，V.Limouzy，A.Mary和L.Nourine，关于最小支配集和相关概念的枚举。SIAM J.离散数学28（2014）1916-1929·Zbl 1310.05119号 ·doi:10.1137/120862612 [10] S.Konstantinidis、C.Meijer、N.Moreira和R.Reis，通过传感器实现代码属性。程序中。CIAA 2016，Y.-S.Han和K.Salomaa编辑。第9705卷，计算机科学讲义。Springer-Verlag（2016）189-201年·Zbl 1475.68160号 ·doi:10.1007/978-3-319-40946-716 [11] S.Konstantinidis和P.V.Silva，形式语言的最大错误检测能力。J.汽车。Lang.Comb.13（2008）55-71·Zbl 1171.68531号 [12] C.W.H.Lam，使用计算机查找纠错代码。信息安全、编码理论和相关组合学（2011）278-284·Zbl 1366.94600号 [13] V.I.Levenshtein，能够纠正删除、插入和反转的二进制代码。Sov公司。物理。多克。10 (1966) 707-710 ·Zbl 0149.15905号 [14] V.I.Levenshtein，代码中无重叠的最大字数。问题。通知。事务处理。6 (1973) 355-357 [15] V.I.Levenshtein，无逗号代码引发的组合问题。J.库姆。Des.12（2004）184-196·Zbl 1059.94011号 ·doi:10.1002/jcd.10071 [16] H.Lewisan和C.H.Papadimitriou，《计算理论要素》，第二版，Prentice Hall（1998） [17] S.Lin和D.J.Costello Jr错误控制编码，第二版，Pearson（2005） [18] Z.Liu和M.Mitzenmacher，具有分段错误的删除和插入通道的代码。程序中。法国尼斯ISIT，2007（2007）846-849 [19] F.J.MacWilliams和N.J.A.Sloane，《纠错码理论》。阿姆斯特丹（1977）·Zbl 0369.94008号 [20] H.Mercier、V.Bhargava和V.Tarokh，《符号同步错误信道的纠错码调查》。IEEE通信。Surv公司。导师。12 (2010) 87-96 ·doi:10.1109/SURV.2010.020110.00079 [21] M.Mitzenmacher和E.Upfal，《概率与计算》。剑桥大学出版社（2005）·Zbl 1092.60001号 [22] F.Paluncic、K.Abdel-Ghaffar和H.Ferreira，插入/删除检测代码和边界问题。IEEE传输。Inf.Theory59（2013）5935-5943·Zbl 1364.94768号 [23] V.S.Pless和W.C.Huffman，编辑。编码理论手册。爱思唯尔（1998）·Zbl 0907.94001号 [24] PyPy是Python语言的一种快速、兼容的替代实现。发布时间：（2017） [25] G.Rozenberg和A.Salomaa，《形式语言手册》，第一卷，Springer-Verlag，柏林（1997）·Zbl 0866.68057号 [26] C.E.香农和W.韦弗，《传播数学理论》。伊利诺伊大学出版社，乌尔班纳（1949）·Zbl 0041.25804号 [27] H.J.Shyr，《自由单元体和语言》，第二版，台中市鸿民图书公司（1991）·Zbl 0746.20050 [28] T.G.Swart和H.C.Ferreira，关于双插入/删除修正码的注释。IEEE传输。《信息论》49（2003）269-273·Zbl 1063.94120号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。