Results 1 
3 of
3
Axel Thue's work on repetitions in words
 Invited Lecture at the 4th Conference on Formal Power Series and Algebraic Combinatorics
, 1992
"... The purpose of this survey is to present, in contemporary terminology, the fundamental contributions of Axel Thue to the study of combinatorial properties of sequences of symbols, insofar as repetitions are concerned. The present state of the art is also sketched. ..."
Abstract

Cited by 25 (3 self)
 Add to MetaCart
The purpose of this survey is to present, in contemporary terminology, the fundamental contributions of Axel Thue to the study of combinatorial properties of sequences of symbols, insofar as repetitions are concerned. The present state of the art is also sketched.
A rewriting of Fife’s theorem about overlapfree words
 Results and Trends in Theoretical Computer Science, LNCS 812
"... The purpose of this expository paper is to present a selfcontained proof of a famous theorem of Fife that gives a full description of the set of infinite overlapfree words over a binary alphabet. Fife's characterization consists in a parameterization of these infinite words by a set of infini ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
The purpose of this expository paper is to present a selfcontained proof of a famous theorem of Fife that gives a full description of the set of infinite overlapfree words over a binary alphabet. Fife's characterization consists in a parameterization of these infinite words by a set of infinite words over a ternary alphabet. The result is that the latter is a regular set. The proof is by the explicit construction of the minimal automaton, obtained by the method of left quotients.
Characterization of TestSets for OverlapFree Morphisms
 DISCR. APPL. MATH
, 1997
"... We give a characterization of all the sets X such that any morphism h on fa; bg is overlapfree iff for all x in X, h(x) is overlapfree. As a consequence, we observe the particular case X = fbbabaag which improves the previous characterization of BerstelSéébold [2]. ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
We give a characterization of all the sets X such that any morphism h on fa; bg is overlapfree iff for all x in X, h(x) is overlapfree. As a consequence, we observe the particular case X = fbbabaag which improves the previous characterization of BerstelSéébold [2].