Kolakoski/Oldenburger word. κ =

Transcription

1 Kolakoski/Oldenburger word κ =...

2 Kolakoski/Oldenburger word κ =...

3 Kolakoski/Oldenburger word κ =

4 Kolakoski/Oldenburger word κ =

5 Kolakoski/Oldenburger word κ = Let W k be the smallest code such that every w W k gives the same factor in W + k after an integration.

6 Kolakoski/Oldenburger word κ = Let W k be the smallest code such that every w W k gives the same factor in W + k after an integration. Let W = { (u) u W + k, (u) C, u[] = and u[ u ] = }. W k+ is the set of minimal elements in W by the prex order.

7 Kolakoski/Oldenburger word κ = Let W k be the smallest code such that every w W k gives the same factor in W + k after an integration. Let W = { (u) u W + k, (u) C, u[] = and u[ u ] = }. W k+ is the set of minimal elements in W by the prex order. W k is a bix code.

8 W k codes W {,,, } W {,,,,,,,,, } W 3 {,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, }

9 Smooth words ( = C ) is the Run length encoding. Ex: (ɛ) = ɛ, () = 3, () =. κ is the innite word such that (κ) = κ. δ(w) is (w) without the rst and/or last letter, if it is. Ex: δ() =, δ() = ɛ, δ() =, δ() = A word w is smooth (or C ) if for every k 0, δ k (w) {, }. It is conjectured that the set of factors of κ is C.

10 Bix Codes A bix code is a prex code and a sux code. It is maximal if there is no other code which properly contains it. Bix codes have many nice properties. W k is a bix code, maximal in smooth words.

11 Degree of Bix codes (In the general case, F = Σ ) The degree d(x ) of a maximal bix code X is the number of ways to decompose a bi-innite word with X. this degree is independent of the word. Let: π(w) = ( Σ ) w. If X is a maximal bix code, then : w π(w) = d(x ). w X

12 Bix codes on smooth words Some results on bix codes are generalized on languages L s.t.: L is factorial. L is recurrent (i.e.: u, v L, w s.t. uwv L). there is a π L R + such that x Σ π(wx) = x Σ π(xw) = π(w). see [Berstel, De Felice, Perrin, Reutenauer & Rindone 00]. On smooth words: C is factorial. The Dekking measure has the good property for π. The transitivity is conjectured: Conjecture (Universal Glueing Conjecture, Fédou & Fici 00) For every u, v C, w such that uwv C.

13 Dekking Measure [Dekking 95] For w C, let π(w) = s(w) 3 h(w) where: s(ɛ) = s() = s() = s(w) = s(δ(w)) h() = h() = h(ɛ) = 0 h(w) = + h(δ(w))

14 Question Is there an innite bix code on smooth words? Let d(x ) = w X w π(w). Question Is it possible to prove d(x ) N without UGC? Question Is there an innite bix code on C such that d(x ) <?

15 Question Is it possible to prove d(w k ) N without UGC? Conjecture For every k, d(w k ) = k. (Tested up to k = 8.) Question Is W k nite for every k?

16

17

18

19 Figure: T.

20 Figure: T 3.

21

22 Autres points xes des T k κ est également un point xe de T k. Mais κ k avec k a d'autres points xes! T a 4 points xes: κ, κ, κ =... et κ =... (qui sont les deux points limites de la séquence A090). Presque toutes les questions ouvertes sur κ restent pertinentes sur les autres point xes de T n. Ces autres points xes sont des cas spéciaux de mots lisses innis.

23 Autres points xes des T k κ est également un point xe de T k. Mais κ k avec k a d'autres points xes! T a 4 points xes: κ, κ, κ =... et κ =... (qui sont les deux points limites de la séquence A090). Presque toutes les questions ouvertes sur κ restent pertinentes sur les autres point xes de T n. Ces autres points xes sont des cas spéciaux de mots lisses innis.

24 Autres points xes des T k κ est également un point xe de T k. Mais κ k avec k a d'autres points xes! T a 4 points xes: κ, κ, κ =... et κ =... (qui sont les deux points limites de la séquence A090). Presque toutes les questions ouvertes sur κ restent pertinentes sur les autres point xes de T n. Ces autres points xes sont des cas spéciaux de mots lisses innis.

25 Autres points xes des T k κ est également un point xe de T k. Mais κ k avec k a d'autres points xes! T a 4 points xes: κ, κ, κ =... et κ =... (qui sont les deux points limites de la séquence A090). Presque toutes les questions ouvertes sur κ restent pertinentes sur les autres point xes de T n. Ces autres points xes sont des cas spéciaux de mots lisses innis.

26 Exemples pour Σ = {a, b} et F = Σ : {a, b}, {aa, ab, ba, aa}, {aaa, aab, aba, abb, baa, bab, bba, bbb}. {aaa, aaba, aabb, ab, baa, baba, babb, bba, bbb} {a} {ba k b} k 0. Les codes bixes ont étés étudiés généreusement dans le cas général (càd F = Σ ) [Schützenberger et al, 956]. Des recherches plus récentes cherchent à généraliser les résultats connus dans le cas général aux langages factoriels.

27 Exemples pour Σ = {a, b} et F = Σ : {a, b}, {aa, ab, ba, aa}, {aaa, aab, aba, abb, baa, bab, bba, bbb}. {aaa, aaba, aabb, ab, baa, baba, babb, bba, bbb} {a} {ba k b} k 0. Les codes bixes ont étés étudiés généreusement dans le cas général (càd F = Σ ) [Schützenberger et al, 956]. Des recherches plus récentes cherchent à généraliser les résultats connus dans le cas général aux langages factoriels.

28 Exemples pour Σ = {a, b} et F = Σ : {a, b}, {aa, ab, ba, aa}, {aaa, aab, aba, abb, baa, bab, bba, bbb}. {aaa, aaba, aabb, ab, baa, baba, babb, bba, bbb} {a} {ba k b} k 0. Les codes bixes ont étés étudiés généreusement dans le cas général (càd F = Σ ) [Schützenberger et al, 956]. Des recherches plus récentes cherchent à généraliser les résultats connus dans le cas général aux langages factoriels.