Tero Harju and Dirk Nowotka
Minimal Duval Extensions


International Journal of Foundations of Computer Science, 15(2):349-354, 2004.

Abstract

A word v = wu is a (nontrivial) Duval extension of the unbordered word w, if (u is not a prefix of v and) w is an unbordered factor of v of maximum length. After a short survey of the research topic related to Duval extensions, we show that, if wu is a minimal Duval extension of w, then u is a factor of w. We also show that finite, unbordered factors of Sturmian words are Lyndon words.

Keywords: combinatorics on words, Duval's conjecture, Lyndon words, Sturmian words

Full paper: [ps - 595 KB] [ps.gz - 81 KB] [pdf - 117 KB].