准严格关系和码.pdfVIP

第３０卷 第２期 湖南科技大学学报（自然科学版） Ｖｏｌ．３０Ｎｏ．２ ２０１５年　 ６月 ＪｏｕｒｎａｌｏｆＨｕｎａｎＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） Ｊｕｎ．２０１５ ｄｏｉ：１０．１３５８２／ｊ．ｃｎｋｉ．１６７２－９１０２．２０１５．０２．０１５ 准严格关系与码① １ １ ２ 唐美霞 ，刘宇 ，何勇 （１．南宁职业技术学院信息工程学院，广西 南宁５３０００８；２．湖南科技大学 计算机科学与工程学院，湖南 湘潭４１１２０１） 摘　要：定义并确定了自由幺半群上的准严格关系，讨论了所有准严格关系的集合及其若干子集的序性质，并证明了 余相容准严格关系的无关语言都是码． 关键词：码；无关集；准严格关系；余相容关系 中图分类号：ＴＰ３０１．１　　　文献标志码：Ａ　　　文章编号：１６７２－９１０２（２０１５）０２－００９３－０６ Ｑｕａｓｉ－ｓｔｒｉｃｔｒｅｌａｔｉｏｎｓａｎｄｃｏｄｅｓ １ １ ２ ＴａｎｇＭｅｉｘｉａ，ＬｉｕＹｕ ，ＨｅＹｏｎｇ （１．ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＮａｎｎｉｎｇＣｏｌｌｅｇｅｆｏｒＶｏｃａｔｉｏｎａｌＴｅｃｈｎｏｌｏｇｙ，Ｎａｎｎｉｎｇ５３０００８，Ｃｈｉｎａ； ２．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＨｕｎａｎＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｘｉａｎｇｔａｎ４１１２０１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｃｏｎｃｅｐｔｔｈａｔｑｕａｓｉ－ｓｔｒｉｃｔｒｅｌａｔｉｏｎｏｎｆｒｅｅｍｏｎｏｉｄｓｗａｓｉｎｔｒｏｄｕｃｅｄ，ａｃｈａｒａｃｔｅｒｉｚａｔｉｏｎｆｏｒ ｑｕａｓｉ－ｓｔｒｉｃｔｒｅｌａｔｉｏｎｓｗａｓｇｉｖｅｎ，ｔｈｅｏｒｄｅｒｉｎｇｐｒｏｐｅｒｔｉｅｓｏｆｔｈｅｓｅｔｏｆａｌｌｑｕａｓｉ－ｓｔｒｉｃｔｒｅｌａｔｉｏｎｓａｓｗｅｌｌａｓｓｏｍｅ ｓｕｂｓｅｔｓｏｆｉｔｗｅｒｅｅｘｈｉｂｉｔｅｄ．Ｍｏｒｅｏｖｅｒ，ｉｔｉｓｐｒｏｖｅｄｔｈａｔｔｈｅｉｎｄｅｐｅｎｄｅｎｔｌａｎｇｕａｇｅｓｏｆｃｏｃｏｍｐａｔｉｂｌｅｑｕａｓｉｓｔｒｉｃｔ ｒｅｌａｔｉｏｎｓａｒｅｃｏｄｅｓ． Ｋｅｙｗｏｒｄｓ：ｃｏｄｅ；ｉｎｄｅｐｅｎｄｅｎｔｓｅｔ；ｑｕａｓｉ－ｓｔｒｉｃｔｒｅｌａｔｉｏｎ；ｃｏ－ｃｏｍｐａｔｉｂｌｅｒｅｌａｔｉｏｎ 本文涉及的关于字、语言、码以及序理论的基本概念和术语可参阅文献［１－４］． 如果Ｌ是某字母表上的一个不含空字的非空语言，且该字母表上的每个字都最多能以一种方式分解 为Ｌ中的字的连接，则称Ｌ为一个码．码是信息处理最基本的工具，码论是形式语言学的核心，并常被视为 理论计算机科学和组合数学的独立分支．前缀码（特别是霍夫曼编码与ＡＳＣＩＩ码）是应用最广泛的码类． 后缀码是前缀码的左－右对偶概念，超码和内缀码都是前缀码和后缀码的公共子类．这些码类都具有重要 的理论意义和应用价值，大量文献对它们的代数性质、组合性质和统计特征进行了深入、系统的 研究［１－３，５－８］． 码的判定和产生是码论的核心问题．注意到某些码类（如前缀码、后缀码、超码和内缀码等）可以定义 ［２］ 为自由幺半群上的某个关系的无关语言 ，一个自然的猜测是：是否存在自由幺半群上的某个关系使得 ［９］ 所有码恰好就是这个关系的无关语言？Ｓｈｙｒ和Ｔｈｉｅｒｒｉｎ 中否认了这个猜测，并引出了一个新的问题：自 由幺半群上哪些关系的无关语言是码？对此问题的研究导致了一系列具有重要理论意义和应用价值的码 的产生［９－１６］． 本文将引入准严格关系的概念，并讨论准严格关系的无关语言与码的关系．第二节将定义并