combinatorics on wordstheory of automata binary alphabet finite sturmian words k-ary alphabet finite...
TRANSCRIPT
![Page 1: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/1.jpg)
Moore automata and epichristoffel words
G. Castiglione and M. SciortinoUniversity of Palermo
ICTCS 2012, Varese sept 18-21
![Page 2: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/2.jpg)
Outline
Combinatorics on words Theory of Automata
Binary alphabet
Finite Sturmian words
K-ary alphabet
Finite episturmian words Minimization of DMA
Minimization of DFA
![Page 3: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/3.jpg)
Sturmian words Infinite words – binary alphabet {a,b} n+1 factors of lenght n for each n 0;
one right special factor for each length n;(factor that appears followed by two different letters resp.)
Example: Fibonacci word abaababaabaababaababaab…
![Page 4: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/4.jpg)
Christoffel wordGiven (p,q) coprime, the Christoffel word having p occurrences of a's and q occurrences of b's is obtained by considering the path under the segment in the lattice NxN, from the point (0,0) to the point (p,q) and by coding by ‘a’ a horizontal step and by ‘b’ a vertical step.
Example: (5,3)aabaabab
Conjugate of standard words (particular prefixes of Sturmian words)
(5,3)
![Page 5: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/5.jpg)
a b aa
bab
aa
baaba
ba
abab
aa b
The finite version
infinite finite (w) - Christoffel classes – circular
Sturmian words
Example: Fibonacci wordabaababaabaababaababaab…
Exactly n+1 factors of lenght n for each n 0; One right special factor for each length
Exactly n+1 circular factors of lenght n for each nw-1;
One right circular special factor for each length n w-2
Example: finite Fibonacci wordabaababaabaababaababaab
![Page 6: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/6.jpg)
Example: Tribonacci word over {a,b,c} abacabaabacaba…
K-ary alphabet, Episturmian words
Are closed under reversal and have at most one right special factor of each length.
3-special factor
![Page 7: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/7.jpg)
K-ary alphabet, episturmian words
Example: Tribonacci word over {a,b,c}abacabaabacaba…
2-special factor
Are closed under reversal and have at most one right special factor of each length.
![Page 8: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/8.jpg)
The finite caseepichristoffel classes
or circular episturmian words
A finite word is an epichristoffel word if it is the image of a letter by an episturmian morphism and if it is the smallest word of its conjugacy class (epichristoffel class).
![Page 9: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/9.jpg)
Epichristoffel class
(6, 3, 1)→(2, 3, 1)→(2, 0, 1) →(1, 0, 1) →(0, 0, 1).
Unique up to changes of letters
There exists an epichristoffel class having letter frequencies (p,q,r) if and only if iterating the described process we obtain a triple with all 0’s and a 1.
[Paquin ’09: On a generalization of Christoffel words: epichristoffel words]
![Page 10: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/10.jpg)
Paquin’s construction
(6, 3, 1) →(2, 3, 1) →(2, 0, 1) →(1, 0, 1) →(0, 0, 1).a b a a
Episturmian morphism:
ψa(a) = a;ψa(x) = ax, if x A \ {a};∈
ψabaa(c) = ψaba(ac) = ψab(aac) = ψa(bababc) = abaabaabac
Conjugate of a prefix of Tribonacci word
Directive sequence Δ
![Page 11: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/11.jpg)
ab
a
a
ba
a
b
a
cExample: abaabaabacprefix of a conjugate of Tribonacci word
The finite version
infinite finite (w) - epichristoffel classes - circular
episturmian words
At most one right special factor for each length
One right circular special factor for each length n !!!
…how many h-special?!Example: Tribonacci wordabacabaabacaba…
![Page 12: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/12.jpg)
Paquin’s construction (binary case)
(5, 3) →(2, 3) →(2, 1) →(1, 1) →(0, 1).a b a a
Episturmian morphism:
ψa(a) = a;ψa(x) = ax, if x A \ {a};∈
ψabaa(b) = ψaba(ab) = ψab(aab) = ψa(babab) = abaabaab
Conjugate of a prefix of Fibonacci word
![Page 13: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/13.jpg)
(7, 2, 1) →(4, 2, 1) →(1, 2, 1) →(1, 0, 1) →(0, 0, 1).a a b a
ψaaba(c) = aabaaabaac
A factorization of epichristoffel classes
Δ=aaba
![Page 14: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/14.jpg)
A factorization of epichristoffel class
Each letter ai induces a factorization in a set of factors Xai={ψΔi aj
(ai), for each j}
(aabaaabaac)
Δ=aaba
Δi the prefix of Δ up to the first occurrence of ai in Δ
Xb= {aab, aaab, aacaab} then (aaabaacaab)
Xa= {a, ba, ca} then (aabaaabaac)
Xc={aabaabaac, …, … } then (aabaaabaac)
(abaabac)
(ab)
(a)
Epichristoffel classes
by coding…up to changes of letters
![Page 15: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/15.jpg)
Reduction tree
Theorem: Each epichristoffel class determines a reduction tree, unique up to changes
of letters
![Page 16: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/16.jpg)
Outline
Combinatorics on words Theory of Automata
Binary alphabet
Finite Sturmian words
K-ary alphabet
Finite episturmian words Minimization of DMA
Minimization of DFA
![Page 17: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/17.jpg)
Cyclic Moore automaton associated to a circular word
aabaaabaac
![Page 18: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/18.jpg)
Derivation treeMinimization by a variant of Hopcroft’s algorithm
Theorem: If the cyclic automaton is associated to an epichristoffel class the algorithm has a unique execution.
![Page 19: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/19.jpg)
Derivation tree
(7, 2, 1) →(4, 2, 1) →(1, 2, 1) →(1, 0, 1) →(0, 0, 1)
10
7 2 1
4 2 1 1 1
1 1
1 1
2 1 1
(aabaaabaac)
![Page 20: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/20.jpg)
Theorem: reduction tree and derivation tree are isomorphic!
![Page 21: Combinatorics on wordsTheory of Automata Binary alphabet Finite Sturmian words K-ary alphabet Finite episturmian words Minimization of DMA Minimization](https://reader036.vdocuments.us/reader036/viewer/2022062321/56649eec5503460f94bfd2f3/html5/thumbnails/21.jpg)
THANK YOU!