the profinite theory of rational languages
play

The profinite theory of rational languages Laure Daviaud LIP, ENS - PowerPoint PPT Presentation

The profinite theory of rational languages Laure Daviaud LIP, ENS Lyon Toulouse, 22th June 2016 The 3 reasons I am here... 2/20 The 3 reasons I am here... 1 - Topology: metric space, limits of sequences of words... 2/20 The 3 reasons I am


  1. The profinite theory of rational languages Laure Daviaud LIP, ENS Lyon Toulouse, 22th June 2016

  2. The 3 reasons I am here... 2/20

  3. The 3 reasons I am here... 1 - Topology: metric space, limits of sequences of words... 2/20

  4. The 3 reasons I am here... 1 - Topology: metric space, limits of sequences of words... 2 - Languages: classes of rational languages... 2/20

  5. The 3 reasons I am here... 1 - Topology: metric space, limits of sequences of words... 2 - Languages: classes of rational languages... 3 - Toulouse... 2/20

  6. Profinite theory → a topological approach for the study of rational languages. 3/20

  7. Profinite theory → a topological approach for the study of rational languages. A : finite alphabet 3/20

  8. Profinite theory → a topological approach for the study of rational languages. A : finite alphabet A ∗ : set of words ⊆ L : rational language 3/20

  9. Profinite theory → a topological approach for the study of rational languages. A : finite alphabet ( A ∗ , d ) : metric space A ∗ : set of words ⊆ ⊆ L : rational language L : subset satisfying some topological properties 3/20

  10. Profinite theory → a topological approach for the study of rational languages. A : finite alphabet ( A ∗ , d ) : metric space A ∗ : set of words ⊆ ⊆ L : rational language L : subset satisfying some topological properties � automata � logic � rational expressions � monoids 3/20

  11. Profinite theory → a topological approach for the study of rational languages. A : finite alphabet ( A ∗ , d ) : metric space A ∗ : set of words ⊆ ⊆ L : rational language L : subset satisfying some topological properties � automata � logic � rational expressions � monoids 3/20

  12. Finite monoids and rational languages A few things to know about monoids... Monoid: a set with an associative operation and a neutral element. Idempotent: e 2 = e bla In a finite monoid, every element has a unique idempotent power → x | M | ! is idempotent bla x ∈ M − 4/20

  13. Finite monoids and rational languages A few things to know about monoids... Monoid: a set with an associative operation and a neutral element. Idempotent: e 2 = e bla In a finite monoid, every element has a unique idempotent power → x | M | ! is idempotent bla x ∈ M − A monoid M recognises a language L if there is a morphism ϕ : A ∗ → M and P ⊆ M s.t. L = ϕ − 1 ( P ) . ϕ A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L P 4/20

  14. Finite monoids and rational languages A few things to know about monoids... Monoid: a set with an associative operation and a neutral element. Idempotent: e 2 = e bla In a finite monoid, every element has a unique idempotent power → x | M | ! is idempotent bla x ∈ M − A monoid M recognises a language L if there is a morphism ϕ : A ∗ → M and P ⊆ M s.t. L = ϕ − 1 ( P ) . ϕ A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L P A language is rational iff it is recognised by a finite monoid. 4/20

  15. Examples and syntactic monoid ϕ A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L P Example: L = { w ∈ A ∗ | | w | is even } 5/20

  16. Examples and syntactic monoid ϕ A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L P Example: L = { w ∈ A ∗ | | w | is even } ( Z / 2 Z , +) - ϕ ( A ) = { 1 } ϕ A ∗ Z / 2 Z ⊆ ⊆ ϕ − 1 ( { 0 } ) = L { 0 } 5/20

  17. Examples and syntactic monoid ϕ A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L P Example: L = { w ∈ A ∗ | | w | is even } ( Z / 2 Z , +) - ϕ ( A ) = { 1 } ϕ A ∗ Z / 2 Z ⊆ ⊆ ϕ − 1 ( { 0 } ) = L { 0 } Syntactic monoid: the smallest monoid recognising L . = Monoid of transitions of a minimal deterministic automaton. 5/20

  18. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . 6/20

  19. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? 6/20

  20. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? Syntatic monoid of { u } (or { v } ...) 6/20

  21. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? Syntatic monoid of { u } (or { v } ...) Example 2: a ∈ A - separate a 99 and a 100 ? 6/20

  22. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? Syntatic monoid of { u } (or { v } ...) Example 2: a ∈ A - separate a 99 and a 100 ? Z / 2 Z 6/20

  23. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? Syntatic monoid of { u } (or { v } ...) Example 2: a ∈ A - separate a 99 and a 100 ? Z / 2 Z Example 3: u ∈ A ∗ , n ∈ N - separate u n ! and u ( n + 1 )! ? 6/20

  24. Separation of words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . Example 1: separate u � = v ? Syntatic monoid of { u } (or { v } ...) Example 2: a ∈ A - separate a 99 and a 100 ? Z / 2 Z Example 3: u ∈ A ∗ , n ∈ N - separate u n ! and u ( n + 1 )! ? x ∈ M then x | M | ! = x ( | M | + 1 )! = the idempotent power of x in M ⇒ ϕ ( u ) | M | ! = ϕ ( u ) ( | M | + 1 )! = u n ! and u ( n + 1 )! cannot be separated by a monoid of size less than n 6/20

  25. Distance over words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . 7/20

  26. Distance over words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . d ( u , v ) = 2 − n where n is the minimal size of a monoid that separates u and v . 7/20

  27. Distance over words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . d ( u , v ) = 2 − n where n is the minimal size of a monoid that separates u and v . d is an ultrametric distance: � d ( u , v ) = 0 iff u = v � d ( u , v ) = d ( v , u ) � d ( u , v ) � max ( d ( u , w ) , d ( w , v )) 7/20

  28. Distance over words A monoid M separates u and v if: there is a morphism ϕ : A ∗ → M such that ϕ ( u ) � = ϕ ( v ) . d ( u , v ) = 2 − n where n is the minimal size of a monoid that separates u and v . d is an ultrametric distance: � d ( u , v ) = 0 iff u = v � d ( u , v ) = d ( v , u ) � d ( u , v ) � max ( d ( u , w ) , d ( w , v )) The words u n ! and u ( n + 1 )! are closer and closer... 7/20

  29. Profinite monoid Definition Profinite monoid � A ∗ : completion of A ∗ with respect to the distance d . � Monoid if u and v sequences of words, ( u . v ) n = u n v n � Metric space � A ∗ dense subset � Compact 8/20

  30. V.I.P. words (very important profinite words) Idempotent power u ω = lim n →∞ u n ! 9/20

  31. V.I.P. words (very important profinite words) Idempotent power u ω = lim n →∞ u n ! Zero (Reilly-Zhang 2000, Almeida-Volkov 2003) | A | � 2 u 0 , u 1 , . . . an enumeration of the words of A ∗ v n + 1 = ( v n u n + 1 v n ) ( n + 1 )! v 0 = u 0 , ρ A = lim n →∞ v n 9/20

  32. Profinite monoid and rational languages Universal property M a finite monoid. Every morphism ϕ : A ∗ → M can be uniquely extended to a ϕ : � A ∗ → M . continuous morphism � ϕ � � A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L � P 10/20

  33. Profinite monoid and rational languages Universal property M a finite monoid. Every morphism ϕ : A ∗ → M can be uniquely extended to a ϕ : � A ∗ → M . continuous morphism � ϕ � � A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L � P 10/20

  34. Profinite monoid and rational languages Universal property M a finite monoid. Every morphism ϕ : A ∗ → M can be uniquely extended to a ϕ : � A ∗ → M . continuous morphism � ϕ � � A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L � P 10/20

  35. Profinite monoid and rational languages Universal property M a finite monoid. Every morphism ϕ : A ∗ → M can be uniquely extended to a ϕ : � A ∗ → M . continuous morphism � ϕ � � A ∗ M ⊆ ⊆ ϕ − 1 ( P ) = L � P A language L is rational iff L is open and closed in � A ∗ . 10/20

  36. V.I.P. words (very important profinite words) Idempotent power u ω = lim n →∞ u n ! 11/20

  37. V.I.P. words (very important profinite words) Idempotent power u ω = lim n →∞ u n ! → For all morphisms ϕ : A ∗ → M (finite monoid): − ϕ ( u ω ) is the idempotent power of � − → � ϕ ( u ) in M . 11/20

  38. V.I.P. words (very important profinite words) Idempotent power u ω = lim n →∞ u n ! → For all morphisms ϕ : A ∗ → M (finite monoid): − ϕ ( u ω ) is the idempotent power of � − → � ϕ ( u ) in M . Zero (Reilly-Zhang 2000, Almeida-Volkov 2003) | A | � 2 u 0 , u 1 , . . . an enumeration of the words of A ∗ v n + 1 = ( v n u n + 1 v n ) ( n + 1 )! v 0 = u 0 , ρ A = lim n →∞ v n 11/20

Recommend


More recommend