在 HD0L 系统的语言中，无限制指数的基元字的数量是有限的

IF 0.9 2区数学 Q2 MATHEMATICS

Journal of Combinatorial Theory Series A Pub Date : 2024-04-22 DOI:10.1016/j.jcta.2024.105904

Karel Klouda, Štěpán Starosta

{"title":"在 HD0L 系统的语言中，无限制指数的基元字的数量是有限的","authors":"Karel Klouda, Štěpán Starosta","doi":"10.1016/j.jcta.2024.105904","DOIUrl":null,"url":null,"abstract":"<div>Let H be an HD0L-system. We show that there are only finitely many primitive words v with the property that <math><msup><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msup></math>, for all integers k, is an element of the factorial language of H. In particular, this result applies to the set of all factors of a morphic word. We provide a formalized proof in the proof assistant Isabelle/HOL as part of the Combinatorics on Words Formalized project.</div>","PeriodicalId":50230,"journal":{"name":"Journal of Combinatorial Theory Series A","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The number of primitive words of unbounded exponent in the language of an HD0L-system is finite\",\"authors\":\"Karel Klouda, Štěpán Starosta\",\"doi\":\"10.1016/j.jcta.2024.105904\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div>Let H be an HD0L-system. We show that there are only finitely many primitive words v with the property that <math><msup><mrow><mi>v</mi></mrow><mrow><mi>k</mi></mrow></msup></math>, for all integers k, is an element of the factorial language of H. In particular, this result applies to the set of all factors of a morphic word. We provide a formalized proof in the proof assistant Isabelle/HOL as part of the Combinatorics on Words Formalized project.</div>\",\"PeriodicalId\":50230,\"journal\":{\"name\":\"Journal of Combinatorial Theory Series A\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-04-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Combinatorial Theory Series A\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0097316524000438\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Combinatorial Theory Series A","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0097316524000438","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

设 H 是一个 HD0L 系统。我们证明，对于所有整数 k，只有有限多个原始词 v 具有这样的性质：vk 是 H 的因子语言的一个元素。我们在证明助手 Isabelle/HOL 中提供了形式化证明，这是词上组合论形式化项目的一部分。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite

Let H be an HD0L-system. We show that there are only finitely many primitive words v with the property that $v^{k}$ , for all integers k, is an element of the factorial language of H. In particular, this result applies to the set of all factors of a morphic word. We provide a formalized proof in the proof assistant Isabelle/HOL as part of the Combinatorics on Words Formalized project.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Combinatorial Theory Series A 数学-数学

CiteScore

2.90

自引率

9.10%

发文量

审稿时长

12 months

期刊介绍： The Journal of Combinatorial Theory publishes original mathematical research concerned with theoretical and physical aspects of the study of finite and discrete structures in all branches of science. Series A is concerned primarily with structures, designs, and applications of combinatorics and is a valuable tool for mathematicians and computer scientists.