林登的话 swMATH ID: 42006 软件作者： 什特·潘·霍卢布；什蒂·潘·斯塔罗斯塔 描述： 伊莎贝尔/HOL中正式使用的林登语。Lyndon单词是在其共轭类中词典编纂最少的单词。我们形式化了它们的基本性质和特征，特别是最长Lyndon后缀和Lyndon因式分解的概念。大部分工作都采用固定的词典编纂顺序。然而，我们也定义了保证给定单词的词典编纂最小性的最小关系（在其共轭类中）。 主页： https://www.isa-afp.org/entries/Combinatorics_Words_Lyndon.html 依赖项： 伊莎贝尔 关键词： 伊莎贝尔/HOL;林登语;林登因子分解;字的组合 相关软件： 存档正式证据;Coq-Combi公司;组合学_单词;Szpilrajn扩建;github;伊莎贝尔/HOL;伊莎贝尔 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 伊莎贝尔/HOL中正式使用的林登语。 Zbl 1511.68214号什特·潘·霍卢布;什蒂·潘·斯塔罗斯塔 2021 2位作者引用 1 什特·潘·霍卢布 1 什蒂·潘·斯塔罗斯塔 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文