Table of Contents: :: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Klouda, Karel, Starosta, Štěpán
Format:	Preprint
Published:	2021
Subjects:	Combinatorics 68R15, 68Q42, 68V20 F.4.2
Online Access:	https://arxiv.org/abs/2108.11279
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

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.