A Hierarchy of Automatic ω-words having a decidable MSO Theory
|
|
- Tyler Taylor
- 5 years ago
- Views:
Transcription
1 A Hierarchy of Automatic ω-words having a decidable MSO Theory Vince Bárány Mathematische Grundlagen der Informatik RWTH Aachen Journées Montoises d Informatique Théorique Rennes, 2006 Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 1 / 1
2 ω-words An ω-word over Σ is a function w : N Σ. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 2 / 1
3 ω-words An ω-word over Σ is a function w : N Σ. We are interested in ω-words having finite descriptions, favourable logical/algorithmic properties. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 2 / 1
4 ω-words An ω-word over Σ is a function w : N Σ. We are interested in ω-words having finite descriptions, favourable logical/algorithmic properties. In this talk: finite descriptions using automata. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 2 / 1
5 Automatic presentations of ω-words We associate to each word w : N Σ its word structure W w := (N, <, {w 1 (a)} a Σ ). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 3 / 1
6 Automatic presentations of ω-words We associate to each word w : N Σ its word structure W w := (N, <, {w 1 (a)} a Σ ). An automatic presentation of a word w Σ ω comprises regular sets D and P a (a Σ), a synchronized rational binary relation over some alphabet Γ, such that (D,, {P a } a Σ ) = W w. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 3 / 1
7 Automatic presentations of ω-words We associate to each word w : N Σ its word structure W w := (N, <, {w 1 (a)} a Σ ). An automatic presentation of a word w Σ ω comprises regular sets D and P a (a Σ), a synchronized rational binary relation over some alphabet Γ, such that (D,, {P a } a Σ ) = W w. In particular, (D, ) = (N, <) is a regular weak numeration system. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 3 / 1
8 Automatic presentations of ω-words We associate to each word w : N Σ its word structure W w := (N, <, {w 1 (a)} a Σ ). An automatic presentation of a word w Σ ω comprises regular sets D and P a (a Σ), a synchronized rational binary relation over some alphabet Γ, such that (D,, {P a } a Σ ) = W w. In particular, (D, ) = (N, <) is a regular weak numeration system. General facts The FO mod theory of every automatic structure is decidable. The class of automatic structures is closed under FO mod -interpretations. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 3 / 1
9 Length-lexicographic presentations How does the choice of effect the class of words thus representable, their algorithmic properties? Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 4 / 1
10 Length-lexicographic presentations How does the choice of effect the class of words thus representable, their algorithmic properties? In the unary numeration system, when compares length only, precisely the ultimately periodic words are representable. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 4 / 1
11 Length-lexicographic presentations How does the choice of effect the class of words thus representable, their algorithmic properties? In the unary numeration system, when compares length only, precisely the ultimately periodic words are representable. In (generalized) numeration systems the usual (greedy) choice for is the length-lexicographic ordering x < llex y x < y or x = y and x < lex y Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 4 / 1
12 Length-lexicographic presentations How does the choice of effect the class of words thus representable, their algorithmic properties? In the unary numeration system, when compares length only, precisely the ultimately periodic words are representable. In (generalized) numeration systems the usual (greedy) choice for is the length-lexicographic ordering x < llex y x < y or x = y and x < lex y Proposition (Rigo,Maes 02) An ω-word is morphic iff it is automatically presentable using < llex. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 4 / 1
13 Morphic words An ω-word w Σ ω is morphic if there is a morphism τ : Γ Γ with τ(a) = au for some a Γ and a morphism h : Γ Σ such that w = h(τ ω (a)) = h(a u τ(u) τ 2 (u)... τ n (u)...). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 5 / 1
14 Morphic words An ω-word w Σ ω is morphic if there is a morphism τ : Γ Γ with τ(a) = au for some a Γ and a morphism h : Γ Σ such that Examples w = h(τ ω (a)) = h(a u τ(u) τ 2 (u)... τ n (u)...). The fixed point of τ : a ab, b ba is the Prouhet-Thue-Morse sequence t = τ ω (a) = a b ba baab baababba... Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 5 / 1
15 Morphic words An ω-word w Σ ω is morphic if there is a morphism τ : Γ Γ with τ(a) = au for some a Γ and a morphism h : Γ Σ such that Examples w = h(τ ω (a)) = h(a u τ(u) τ 2 (u)... τ n (u)...). The fixed point of τ : a ab, b ba is the Prouhet-Thue-Morse sequence t = τ ω (a) = a b ba baab baababba... The fixed point of φ : a ab, b a is the Fibonacci word f = a b a ab aba abaab abaababa... Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 5 / 1
16 Morphic words An ω-word w Σ ω is morphic if there is a morphism τ : Γ Γ with τ(a) = au for some a Γ and a morphism h : Γ Σ such that Examples w = h(τ ω (a)) = h(a u τ(u) τ 2 (u)... τ n (u)...). The fixed point of τ : a ab, b ba is the Prouhet-Thue-Morse sequence t = τ ω (a) = a b ba baab baababba... The fixed point of φ : a ab, b a is the Fibonacci word f = a b a ab aba abaab abaababa... Consider τ : a ab, b ccb, c c and h : a, b 1, c 0. Then τ ω (a) = a b ccb ccccb c 6 b... and h(τ ω (a)) is the characteristic sequence of the set of squares. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 5 / 1
17 Deciding the MSO theory of ω-words Theorem (cf. Rabinovich, Thomas 06) The MSO theory of W w is decidable iff there is a recursive factorization w = w 0 w 1... w n... f (0) f (1) f (2) f (n) f (n+1)... Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 6 / 1
18 Deciding the MSO theory of ω-words Theorem (cf. Rabinovich, Thomas 06) The MSO theory of W w is decidable iff there is a recursive factorization w = w 0 w 1... w n... f (0) f (1) f (2) f (n) f (n+1)... such that for every morphism ψ into a finite monoid M the contraction of w wrt. ψ and f : w ψ f = ψ(w 0 ) ψ(w 1 )... ψ(w n )... M ω is ultimately periodic (with both period and threshold computable from ψ). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 6 / 1
19 Deciding the MSO theory of morphic words [Carton,Thomas 02] Consider w = h(a u τ(u) τ 2 (u)... τ n (u)...) and a morphism ψ into a finite monoid M. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 7 / 1
20 Deciding the MSO theory of morphic words [Carton,Thomas 02] Consider w = h(a u τ(u) τ 2 (u)... τ n (u)...) and a morphism ψ into a finite monoid M. The contraction of w wrt. ψ and f τ, w ψ f τ = ψ(h(a)) ψ(h(u)) ψ(h(τ(u))) ψ(h(τ 2 (u)))... ψ(h(τ n (u)))..., Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 7 / 1
21 Deciding the MSO theory of morphic words [Carton,Thomas 02] Consider w = h(a u τ(u) τ 2 (u)... τ n (u)...) and a morphism ψ into a finite monoid M. The contraction of w wrt. ψ and f τ, w ψ f τ = ψ(h(a)) ψ(h(u)) ψ(h(τ(u))) ψ(h(τ 2 (u)))... ψ(h(τ n (u)))..., is ultimately periodic, since there are (computable) N and p such that ψ h τ n+p = ψ h τ n (n > N) Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 7 / 1
22 Morphisms of k stacks k-stacks as parenthesized words [ [abb] [a] [ba] ] or as trees of height k a b b a b a Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 8 / 1
23 Morphisms of k stacks k-stacks as parenthesized words [ [abb] [a] [ba] ] or as trees of height k a b b a b a Morphisms of k-stacks k-stack of morphisms: Stack (0) Γ = Γ Stack (k+1) Γ = [(Stack (k) Γ ) ] Hom (0) Γ = Γ Γ Hom (k+1) Γ = [(Hom (k) Γ ) ] (uniformity!) Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 8 / 1
24 Morphisms of k stacks k-stacks as parenthesized words [ [abb] [a] [ba] ] or as trees of height k a b b a b a Morphisms of k-stacks k-stack of morphisms: Stack (0) Γ = Γ Stack (k+1) Γ = [(Stack (k) Γ ) ] Application: ϕ (0) (γ (0) ) is as given, Hom (0) Γ = Γ Γ Hom (k+1) Γ = [(Hom (k) Γ ) ] (uniformity!) for ϕ (k+1) = [ϕ (k) 1... ϕ (k) s ] and γ (k+1) = [γ (k) 1... γ (k) ϕ (k+1) (γ (k+1) ) = [ϕ (k) 1 (γ(k) 1 )...ϕ(k) s (γ (k) 1 ) ϕ(k) t ] 1 (γ(k) t )...ϕ (k) s (γ (k) t )] Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 8 / 1
25 k-morphic words An word w Σ ω is k-morphic if there is a morphism ϕ Hom (k) Γ, a k-stack γ Stack (k) Γ, and a homomorphism h : Γ Σ such that ( ) w = h leaves(ϕ n (γ)). n=0 Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 9 / 1
26 k-morphic words An word w Σ ω is k-morphic if there is a morphism ϕ Hom (k) Γ, a k-stack γ Stack (k) Γ, and a homomorphism h : Γ Σ such that ( ) w = h leaves(ϕ n (γ)). Example n=0 Let γ = [[#]], ϕ = [ϕ 0 ϕ 1 ] with ϕ i : # i#. (Non-uniform!) # 0 # 1 # 0 0 # 0 1 # 1 0 # 1 1 #... Similarly, s = (Champernowne word) is 2-morphic. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM 06 9 / 1
27 k-length-lexicographic presentations Consider u = a 0 a 1... a tk 1 Σ tk. Its k-split is (u (1),..., u (k) ) with u (i+1) = a i a k+i... a (t 1)k+i f.a. i < k. Additionally, let u (0) = 1 u. Conversely, u = k (u (1),..., u (k) ) is the k-shuffle of the u (i) -s. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
28 k-length-lexicographic presentations Consider u = a 0 a 1... a tk 1 Σ tk. Its k-split is (u (1),..., u (k) ) with u (i+1) = a i a k+i... a (t 1)k+i f.a. i < k. Additionally, let u (0) = 1 u. Conversely, u = k (u (1),..., u (k) ) is the k-shuffle of the u (i) -s. For 0 i < k we define the equivalence u = i v def j i u (j) = v (j) (implying u = v ). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
29 k-length-lexicographic presentations Consider u = a 0 a 1... a tk 1 Σ tk. Its k-split is (u (1),..., u (k) ) with u (i+1) = a i a k+i... a (t 1)k+i f.a. i < k. Additionally, let u (0) = 1 u. Conversely, u = k (u (1),..., u (k) ) is the k-shuffle of the u (i) -s. For 0 i < k we define the equivalence u = i v def j i u (j) = v (j) (implying u = v ). Consider some lin. ord. < of Σ with induced < lex. The induced k-length-lexicographic ordering < k-llex is defined as u < k-llex v def u < v i < k : u = i v u (i+1) < lex v (i+1). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
30 k-morphic = k-lexicographically presentable Theorem For all k, an ω-word is k-morphic iff it has an aut. pres. using < k-llex. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
31 k-morphic = k-lexicographically presentable Theorem For all k, an ω-word is k-morphic iff it has an aut. pres. using < k-llex. Illustration # 0 # 1 = 0 # 0 0 = 1 # 0 1 # 1 0 # 1 1 # ε u (2) = ε ϕ 0 ϕ 1 u (1) = ϕ 0 ϕ 0 ϕ 0 ϕ 1 ϕ 1 ϕ 0 ϕ 1 ϕ 1... Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
32 k-morphic = k-lexicographically presentable Theorem For all k, an ω-word is k-morphic iff it has an aut. pres. using < k-llex. Illustration # 0 # 1 = 0 # 0 0 = 1 # 0 1 # 1 0 # 1 1 # ε u (2) = ε ϕ 0 ϕ 1 u (1) = ϕ 0 ϕ 0 ϕ 0 ϕ 1 ϕ 1 ϕ 0 ϕ 1 ϕ 1... Notation For each k, W k is the class of k-morphic, or k-lex, words. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
33 Hierarchy theorem Clearly, W k W k+1. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
34 Hierarchy theorem Clearly, W k W k+1. Consider the following stuttering words defined for each k as s 0 = a ω s 1 = abaaba 4 ba 8 ba 16 b... s 2 = abcaabaabc(a 4 b) 4 c(a 8 b) 8 c... s 3 = abcd((a 2 b) 2 c) 2 d((a 4 b) 4 c) 4 d((a 8 b) 8 c) 8 d... s k. = n=0 ( (((a2n 0 )a 1) 2n ) ) 2n a k. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
35 Hierarchy theorem Clearly, W k W k+1. Consider the following stuttering words defined for each k as s 0 = a ω s 1 = abaaba 4 ba 8 ba 16 b... s 2 = abcaabaabc(a 4 b) 4 c(a 8 b) 8 c... s 3 = abcd((a 2 b) 2 c) 2 d((a 4 b) 4 c) 4 d((a 8 b) 8 c) 8 d... s k. = n=0 ( (((a2n 0 )a 1) 2n ) ) 2n a k. Theorem (Hierarchy Theorem) For each k N we have s k+1 W k+1 \ W k. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
36 Deciding the MSO theory of k-morphic words Theorem For all k, the MSO-theory of every k-morphic word is decidable. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
37 Deciding the MSO theory of k-morphic words Theorem For all k, the MSO-theory of every k-morphic word is decidable. Proof plan (= 0,..., = k ) provide a built in factorization of depth k of each w W k+1 Contraction Lemma For all w W k+1 and ψ we have w ψ = k W k effectively. By iterated contractions w ψ = i W i, in particular, w ψ = 0 is ultimately periodic. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
38 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
39 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Higher-Order Regularity Lemma Consider Θ a finite set of morphisms on Σ, ϑ : Θ Hom(Σ, Σ ) s.t. ϑ(x y) = ϑ(y) ϑ(x). Let ψ Hom(Σ, M), a Σ, m M. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
40 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Higher-Order Regularity Lemma Consider Θ a finite set of morphisms on Σ, ϑ : Θ Hom(Σ, Σ ) s.t. ϑ(x y) = ϑ(y) ϑ(x). Let ψ Hom(Σ, M), a Σ, m M. Then L ϑ,ψ,a,m = {x Θ ψ(ϑ(x)(a)) = m} is regular. (effective) Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
41 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Higher-Order Regularity Lemma Consider Θ a finite set of morphisms on Σ, ϑ : Θ Hom(Σ, Σ ) s.t. ϑ(x y) = ϑ(y) ϑ(x). Let ψ Hom(Σ, M), a Σ, m M. Then L ϑ,ψ,a,m = {x Θ ψ(ϑ(x)(a)) = m} is regular. (effective) γ = [[#]] ϕ = [ϕ 0 ϕ 1 ] with ϕ i : # i# ψ(x) = x 1 mod 2 = 1 = 1 = 1 = # 0 1 # 1 0 # 1 1 # u (2) = u (1) = ϕ 0 ϕ 0 ϕ 0 ϕ 1 ϕ 1 ϕ 0 ϕ 1 ϕ 1 Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
42 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Higher-Order Regularity Lemma Consider Θ a finite set of morphisms on Σ, ϑ : Θ Hom(Σ, Σ ) s.t. ϑ(x y) = ϑ(y) ϑ(x). Let ψ Hom(Σ, M), a Σ, m M. Then L ϑ,ψ,a,m = {x Θ ψ(ϑ(x)(a)) = m} is regular. (effective) γ = [0] τ : τ 0 τ # 0 1 # 1 0 # 1 1 # 0 τ 0 τ τ 0 τ 1 τ 1 τ 0 τ 1 τ 1 Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
43 Contraction Lemma Illustration for k = 1: w generated by ϕ = [ϕ 0 ϕ 1 ] with ϕ i Hom(Σ, Σ ) and γ = [[a]]: w = a aϕ 0 aϕ 1 aϕ 0 ϕ 0 aϕ 0 ϕ 1 aϕ 1 ϕ 0 aϕ 1 ϕ 1 aϕ 0 ϕ 0 ϕ 0 aϕ 0 ϕ 0 ϕ 1... Idea: use 1-lex presentation of w ψ = 1 over {ϕ 0, ϕ 1 }! Higher-Order Regularity Lemma Consider Θ a finite set of morphisms on Σ, ϑ : Θ Hom(Σ, Σ ) s.t. ϑ(x y) = ϑ(y) ϑ(x). Let ψ Hom(Σ, M), a Σ, m M. Then L ϑ,ψ,a,m = {x Θ ψ(ϑ(x)(a)) = m} is regular. (effective) γ = [0] τ : τ 0 τ # # τ 0 τ # 1 1 # 1 0 τ 0 τ 1 τ 1 τ 0 τ 1 τ 1 For k = 0: Θ = {τ} is unary and the L ϑ,ψ,a,m are ultimately periodic. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
44 Main Results Theorem (Main Theorem) Given a k-lex. presentation of w W k and ϕ( x) MSO having only first-order variables x free, we can compute an automaton recognizing the relation defined by ϕ in W w. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
45 Main Results Theorem (Main Theorem) Given a k-lex. presentation of w W k and ϕ( x) MSO having only first-order variables x free, we can compute an automaton recognizing the relation defined by ϕ in W w. Corollaries Each W k is closed under MSO-definable recolorings. If a structure is MSO-interpretable in a k-lexicographic word by formulas ϕ( x) as in the theorem, then it is automatic. Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
46 Main Results Theorem (Main Theorem) Given a k-lex. presentation of w W k and ϕ( x) MSO having only first-order variables x free, we can compute an automaton recognizing the relation defined by ϕ in W w. Corollaries Each W k is closed under MSO-definable recolorings. If a structure is MSO-interpretable in a k-lexicographic word by formulas ϕ( x) as in the theorem, then it is automatic. For each k consider w k {0, 1, #} ω obtained by concatenating all finite binary words in the k-lexicographic ordering and separated by hash marks. Theorem (Characterization) Let w Σ ω. Then w W k W w I W wk for some interpretation I = (ϕ D (x), x < y, {ϕ a (x)} a Σ ) such that = x(ϕ D (x) P # (x)). Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
47 Future work and Questions To do Locate W k in the pushdown hierarchy... or generate them from simply-typed schemes. Extend results to other (all?) automatic presentations of (N, <)... to other linear orderings... Is isomorphism of k-lexicographic words decidable? Let k > k. Is it decidable whether a k-morphic word is k -lexicographic? In particular, is eventual periodicity of k-morphic words decidable? (Cf. same problems for ω-words generated by HD0L systems, i.e. k = 1) Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
48 Future work and Questions To do Locate W k in the pushdown hierarchy... or generate them from simply-typed schemes. Extend results to other (all?) automatic presentations of (N, <)... to other linear orderings... Is isomorphism of k-lexicographic words decidable? Let k > k. Is it decidable whether a k-morphic word is k -lexicographic? In particular, is eventual periodicity of k-morphic words decidable? (Cf. same problems for ω-words generated by HD0L systems, i.e. k = 1) THANK YOU! Vince Bárány (RWTH Aachen) A Hierarchy of Automatic ω-words having a decidable MSO Theory JM / 1
A Hierarchy of Automatic ω-words having a decidable MSO GAMES LAAW 06 Theory 1 / 14
A Hierarchy of Automatic ω-words having a decidable MSO Theory Vince Bárány Mathematische Grundlagen der Informatik RWTH Aachen GAMES Annual Meeting Isaac Newton Workshop Cambridge, July 2006 A Hierarchy
More informationCovering of ordinals
Covering of ordinals Laurent Braud IGM, Univ. Paris-Est Liafa, 8 January 2010 Laurent Braud (IGM, Univ. Paris-Est) Covering of ordinals Liafa, 8 January 2010 1 / 27 1 Covering graphs Ordinals MSO logic
More informationOne-relation languages and ω-code generators
One-relation languages and ω-code generators Tran Vinh Duc, Igor Litovsky I3S Université de Nice - Sophia Antipolis France Journées Montoises d Informatique Théorique AMIENS, 2010 Infinite words Let A
More informationA Fine and Wilf s theorem for pseudoperiods and Justin s formula for generalized pseudostandard words
A Fine and Wilf s theorem for pseudoperiods and Justin s formula for generalized pseudostandard words A. Blondin Massé 1,2, G. Paquin 2 and L. Vuillon 2 1 Laboratoire de Combinatoire et d Informatique
More informationUniformization in Automata Theory
Uniformization in Automata Theory Arnaud Carayol Laboratoire d Informatique Gaspard Monge, Université Paris-Est & CNRS arnaud.carayol@univ-mlv.fr Christof Löding RWTH Aachen, Informatik 7, Aachen, Germany
More informationFrom p-adic numbers to p-adic words
From p-adic numbers to p-adic words Jean-Éric Pin1 1 January 2014, Lorentz Center, Leiden References I S. Eilenberg, Automata, Languages and Machines, Vol B, Acad. Press, New-York (1976). M. Lothaire,
More informationRECOGNIZABLE SETS OF INTEGERS
RECOGNIZABLE SETS OF INTEGERS Michel Rigo http://www.discmath.ulg.ac.be/ 1st Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, June 2012, Liège In the Chomsky s hierarchy,
More informationRegularity Problems for Visibly Pushdown Languages
Regularity Problems for Visibly Pushdown Languages Vince Bárány 1, Christof Löding 1, and Olivier Serre 2 1 RWTH Aachen, Germany 2 LIAFA, Université Paris VII & CNRS, France Abstract. Visibly pushdown
More informationSturmian Words, Sturmian Trees and Sturmian Graphs
Sturmian Words, Sturmian Trees and Sturmian Graphs A Survey of Some Recent Results Jean Berstel Institut Gaspard-Monge, Université Paris-Est CAI 2007, Thessaloniki Jean Berstel (IGM) Survey on Sturm CAI
More informationSequential Automatic Algebras
Sequential Automatic Algebras Michael Brough, Bakhadyr Khoussainov, and Peter Nelson Department of Computer Science, University of Auckland Abstract. A sequential automatic algebra is a structure of the
More informationFrom Monadic Second-Order Definable String Transformations to Transducers
From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur 1 Antoine Durand-Gasselin 2 Ashutosh Trivedi 3 1 University of Pennsylvania 2 LIAFA, Université Paris Diderot 3 Indian
More informationSpecial Factors and Suffix and Factor Automata
Special Factors and Suffix and Factor Automata LIAFA, Paris 5 November 2010 Finite Words Let Σ be a finite alphabet, e.g. Σ = {a, n, b, c}. A word over Σ is finite concatenation of symbols of Σ, that is,
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More information(ABSTRACT) NUMERATION SYSTEMS
(ABSTRACT) NUMERATION SYSTEMS Michel Rigo Department of Mathematics, University of Liège http://www.discmath.ulg.ac.be/ OUTLINE OF THE TALK WHAT IS A NUMERATION SYSTEM? CONNECTION WITH FORMAL LANGUAGES
More informationFoundations of Informatics: a Bridging Course
Foundations of Informatics: a Bridging Course Week 3: Formal Languages and Semantics Thomas Noll Lehrstuhl für Informatik 2 RWTH Aachen University noll@cs.rwth-aachen.de http://www.b-it-center.de/wob/en/view/class211_id948.html
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationThe theory of regular cost functions.
The theory of regular cost functions. Denis Kuperberg PhD under supervision of Thomas Colcombet Hebrew University of Jerusalem ERC Workshop on Quantitative Formal Methods Jerusalem, 10-05-2013 1 / 30 Introduction
More informationAbstract Numeration Systems or Decimation of Languages
Abstract Numeration Systems or Decimation of Languages Emilie Charlier University of Waterloo, School of Computer Science Languages and Automata Theory Seminar Waterloo, April 1 and 8, 211 Positional numeration
More informationWords generated by cellular automata
Words generated by cellular automata Eric Rowland University of Waterloo (soon to be LaCIM) November 25, 2011 Eric Rowland (Waterloo) Words generated by cellular automata November 25, 2011 1 / 38 Outline
More informationGames derived from a generalized Thue-Morse word
Games derived from a generalized Thue-Morse word Aviezri S. Fraenkel, Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel; fraenkel@wisdom.weizmann.ac.il
More informationPattern-Matching for Strings with Short Descriptions
Pattern-Matching for Strings with Short Descriptions Marek Karpinski marek@cs.uni-bonn.de Department of Computer Science, University of Bonn, 164 Römerstraße, 53117 Bonn, Germany Wojciech Rytter rytter@mimuw.edu.pl
More informationIsomorphism of regular trees and words
Isomorphism of regular trees and words Markus Lohrey and Christian Mathissen Institut für Informatik, Universität Leipzig, Germany {lohrey,mathissen}@informatik.uni-leipzig.de Abstract. The complexity
More informationProbabilistic Aspects of Computer Science: Probabilistic Automata
Probabilistic Aspects of Computer Science: Probabilistic Automata Serge Haddad LSV, ENS Paris-Saclay & CNRS & Inria M Jacques Herbrand Presentation 2 Properties of Stochastic Languages 3 Decidability Results
More informationUncountable Automatic Classes and Learning
Uncountable Automatic Classes and Learning Sanjay Jain a,1, Qinglong Luo a, Pavel Semukhin b,2, Frank Stephan c,3 a Department of Computer Science, National University of Singapore, Singapore 117417, Republic
More informationFinite automata presentable abelian groups
Finite automata presentable abelian groups André Nies a Pavel Semukhin b a Department of Computer Science The University of Auckland New Zealand b Department of Mathematics National University of Singapore
More informationDecidable Theories of the Ordering of Natural Numbers with Unary Predicates
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates Dedicated to Boris A. Trakhtenbrot on the occasion of his 85th birthday Alexander Rabinovich 1 and Wolfgang Thomas 2 1 Tel Aviv
More informationarxiv: v1 [cs.fl] 8 Jan 2019
Languages ordered by the subword order Dietrich Kuske TU Ilmenau, Germany dietrich.kuske@tu-ilmenau.de Georg Zetzsche MPI-SWS, Germany georg@mpi-sws.org arxiv:1901.02194v1 [cs.fl] 8 Jan 2019 Abstract We
More informationThe Isomorphism Problem On Classes of Automatic Structures with Transitive Relations
The Isomorphism Problem On Classes of Automatic Structures with Transitive Relations Dietrich Kuske 1, Jiamou Liu 2, and Markus Lohrey 2, 1 TU Ilmenau, Institut für Theoretische Informatik, Germany 2 Universität
More informationSynthesis of Winning Strategies for Interaction under Partial Information
Synthesis of Winning Strategies for Interaction under Partial Information Oberseminar Informatik Bernd Puchala RWTH Aachen University June 10th, 2013 1 Introduction Interaction Strategy Synthesis 2 Main
More informationThe Formal Inverse of the Period-Doubling Sequence
2 3 47 6 23 Journal of Integer Sequences, Vol. 2 (28), Article 8.9. The Formal Inverse of the Period-Doubling Sequence Narad Rampersad Department of Mathematics and Statistics University of Winnipeg 55
More informationThe Power of Extra Analog Neuron. Institute of Computer Science Academy of Sciences of the Czech Republic
The Power of Extra Analog Neuron Jiří Šíma Institute of Computer Science Academy of Sciences of the Czech Republic (Artificial) Neural Networks (NNs) 1. mathematical models of biological neural networks
More information5 3 Watson-Crick Automata with Several Runs
5 3 Watson-Crick Automata with Several Runs Peter Leupold Department of Mathematics, Faculty of Science Kyoto Sangyo University, Japan Joint work with Benedek Nagy (Debrecen) Presentation at NCMA 2009
More informationCHURCH SYNTHESIS PROBLEM and GAMES
p. 1/? CHURCH SYNTHESIS PROBLEM and GAMES Alexander Rabinovich Tel-Aviv University, Israel http://www.tau.ac.il/ rabinoa p. 2/? Plan of the Course 1. The Church problem - logic and automata. 2. Games -
More informationCombinatorics On Sturmian Words. Amy Glen. Major Review Seminar. February 27, 2004 DISCIPLINE OF PURE MATHEMATICS
Combinatorics On Sturmian Words Amy Glen Major Review Seminar February 27, 2004 DISCIPLINE OF PURE MATHEMATICS OUTLINE Finite and Infinite Words Sturmian Words Mechanical Words and Cutting Sequences Infinite
More informationAutomata for Branching and Layered Temporal Structures
Università degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Informatica Thesis Automata for Branching and Layered Temporal Structures Gabriele Puppis March 31, 2006
More informationConference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006
Diophantine analysis and words Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ March 8, 2006 Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor
More informationOn the Accepting Power of 2-Tape Büchi Automata
On the Accepting Power of 2-Tape Büchi Automata Equipe de Logique Mathématique Université Paris 7 STACS 2006 Acceptance of infinite words In the sixties, Acceptance of infinite words by finite automata
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS
ON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS TOM BOURNE AND NIK RUŠKUC Abstract. Given a word w over a finite alphabet, we consider, in three special
More informationAlgorithmic Model Theory SS 2016
Algorithmic Model Theory SS 2016 Prof. Dr. Erich Grädel and Dr. Wied Pakusa Mathematische Grundlagen der Informatik RWTH Aachen cbnd This work is licensed under: http://creativecommons.org/licenses/by-nc-nd/3.0/de/
More informationOn the Borel complexity of MSO definable sets of branches
Fundamenta Informaticae XXI (2001) 1001 1013 1001 IOS Press On the Borel complexity of MSO definable sets of branches Mikołaj Bojańczyk, Damian Niwiński Institute of Informatics University of Warsaw Poland
More informationProfinite methods in automata theory
Profinite methods in automata theory Jean-Éric Pin1 1 LIAFA, CNRS and Université Paris Diderot STACS 2009, Freiburg, Germany supported by the ESF network AutoMathA (European Science Foundation) Summary
More informationMonoidal Categories, Bialgebras, and Automata
Monoidal Categories, Bialgebras, and Automata James Worthington Mathematics Department Cornell University Binghamton University Geometry/Topology Seminar October 29, 2009 Background: Automata Finite automata
More informationGraph Reachability and Pebble Automata over Infinite Alphabets
Graph Reachability and Pebble Automata over Infinite Alphabets Tony Tan Department of Computer Science Technion Israel Institute of Technology Haifa 32000, Israel Email: tantony@cs.technion.ac.il Abstract
More informationAlgebras with finite descriptions
Algebras with finite descriptions André Nies The University of Auckland July 19, 2005 Part 1: FA-presentability A countable structure in a finite signature is finite-automaton presentable (or automatic)
More informationFinite Presentations of Infinite Structures: Automata and Interpretations
Finite Presentations of Infinite Structures: Automata and Interpretations Achim Blumensath Erich Grädel Abstract We study definability problems and algorithmic issues for infinite structures that are finitely
More informationLogic and Games SS 2009
Logic and Games SS 2009 Prof. Dr. Erich Grädel Łukasz Kaiser, Tobias Ganzow Mathematische Grundlagen der Informatik RWTH Aachen c b n d This work is licensed under: http://creativecommons.org/licenses/by-nc-nd/3.0/de/
More informationUnranked Tree Automata with Sibling Equalities and Disequalities
Unranked Tree Automata with Sibling Equalities and Disequalities Wong Karianto Christof Löding Lehrstuhl für Informatik 7, RWTH Aachen, Germany 34th International Colloquium, ICALP 2007 Xu Gao (NFS) Unranked
More informationTree languages defined in first-order logic with one quantifier alternation
Tree languages defined in first-order logic with one quantifier alternation Miko laj Bojańczyk, Luc Segoufin Warsaw University, INRIA - LSV March 9, 2010 Abstract We study tree languages that can be defined
More informationWarshall s algorithm
Regular Expressions [1] Warshall s algorithm See Floyd-Warshall algorithm on Wikipedia The Floyd-Warshall algorithm is a graph analysis algorithm for finding shortest paths in a weigthed, directed graph
More informationThree Lectures on Automatic Structures
Three Lectures on Automatic Structures Preface Bakhadyr Khoussainov 1 and Mia Minnes 2 1 Department of Computer Science University of Auckland Auckland, New Zealand bmk@cs.auckland.ac.nz 2 Mathematics
More informationLocally catenative sequences and Turtle graphics
Juhani Karhumäki Svetlana Puzynina Locally catenative sequences and Turtle graphics TUCS Technical Report No 965, January 2010 Locally catenative sequences and Turtle graphics Juhani Karhumäki University
More informationTopics in Timed Automata
1/32 Topics in Timed Automata B. Srivathsan RWTH-Aachen Software modeling and Verification group 2/32 Timed Automata A theory of timed automata R. Alur and D. Dill, TCS 94 2/32 Timed Automata Language
More informationDense-Timed Pushdown Automata
Dense-Timed Pushdown Automata Parosh Aziz Abdulla Uppsala University Sweden Mohamed Faouzi Atig Uppsala University Sweden Jari Stenman Uppsala University Sweden Abstract We propose a model that captures
More informationDegrees of Streams. Jörg Endrullis Dimitri Hendriks Jan Willem Klop. Streams Seminar Nijmegen, 20th April Vrije Universiteit Amsterdam
Degrees of Streams Jörg Endrullis Dimitri Hendriks Jan Willem Klop Vrije Universiteit Amsterdam Streams Seminar Nijmegen, 20th April 2010 Complexity of streams Complexity measures for infinite streams:
More informationMonadic Second-Order Logic with Arbitrary Monadic Predicates
Monadic Second-Order Logic with Arbitrary Monadic Predicates NATHANAËL FIJALKOW, University of Wariwck CHARLES PAPERMAN, Institut Mathématiques de Jussieu - Paris rive gauche CCS Concepts: Theory of computation
More informationComputer Sciences Department
1 Reference Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER 3 objectives Finite automaton Infinite automaton Formal definition State diagram Regular and Non-regular
More informationSquare-free words with square-free self-shuffles
Square-free words with square-free self-shuffles James D. Currie & Kalle Saari Department of Mathematics and Statistics University of Winnipeg 515 Portage Avenue Winnipeg, MB R3B 2E9, Canada j.currie@uwinnipeg.ca,
More informationAlternating nonzero automata
Alternating nonzero automata Application to the satisfiability of CTL [,, P >0, P =1 ] Hugo Gimbert, joint work with Paulin Fournier LaBRI, Université de Bordeaux ANR Stoch-MC 06/07/2017 Control and verification
More informationCanonical forms for free κ-semigroups
Canonical forms for free κ-semigroups José Carlos Costa To cite this version: José Carlos Costa. Canonical forms for free κ-semigroups. Discrete Mathematics and Theoretical Computer Science, DMTCS, 214,
More informationCombinatorics on Finite Words and Data Structures
Combinatorics on Finite Words and Data Structures Dipartimento di Informatica ed Applicazioni Università di Salerno (Italy) Laboratoire I3S - Université de Nice-Sophia Antipolis 13 March 2009 Combinatorics
More informationBoundedness Games. Séminaire de l équipe MoVe, LIF, Marseille, May 2nd, Nathanaël Fijalkow. Institute of Informatics, Warsaw University Poland
Boundedness Games Séminaire de l équipe MoVe, LIF, Marseille, May 2nd, 2013 Nathanaël Fijalkow Institute of Informatics, Warsaw University Poland LIAFA, Université Paris 7 Denis Diderot France (based on
More informationAdvanced Automata Theory 10 Transducers and Rational Relations
Advanced Automata Theory 10 Transducers and Rational Relations Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced
More informationDENSITY OF CRITICAL FACTORIZATIONS
DENSITY OF CRITICAL FACTORIZATIONS TERO HARJU AND DIRK NOWOTKA Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a
More informationHierarchy among Automata on Linear Orderings
Hierarchy among Automata on Linear Orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 Abstract In a preceding paper, automata and rational
More informationMix-Automatic Sequences
Mix-Automatic Sequences Jörg Endrullis 1, Clemens Grabmayer 2, and Dimitri Hendriks 1 1 VU University Amsterdam 2 Utrecht University Abstract. Mix-automatic sequences form a proper extension of the class
More informationAndrews Curtis Groups and the Andrews Curtis Conjecture
Andrews Curtis Groups and the Andrews Curtis Conjecture Adam Piggott adam.piggott@tufts.edu Tufts University p. 1/33 Credits and further info This work has appeared in the Journal of Group Theory 10 (2007)
More informationUnambiguous Morphic Images of Strings
Unambiguous Morphic Images of Strings Daniel Reidenbach, University of Kaiserslautern A joint work with: Dominik D. Freydenberger, University of Kaiserslautern Johannes C. Schneider, University of Kaiserslautern
More informationBoundedness Games. Séminaire du LIGM, April 16th, Nathanaël Fijalkow. Institute of Informatics, Warsaw University Poland
Boundedness Games Séminaire du LIGM, April 16th, 2013 Nathanaël Fijalkow Institute of Informatics, Warsaw University Poland LIAFA, Université Paris 7 Denis Diderot France (based on joint works with Krishnendu
More informationUnary Automatic Graphs: An Algorithmic Perspective 1
Unary Automatic Graphs: An Algorithmic Perspective 1 This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of
More informationStreams and Coalgebra Lecture 2
Streams and Coalgebra Lecture 2 Helle Hvid Hansen and Jan Rutten Radboud University Nijmegen & CWI Amsterdam Representing Streams II, Lorentz Center, Leiden, January 2014 Tutorial Overview Lecture 1 (Hansen):
More informationTemporal logics and explicit-state model checking. Pierre Wolper Université de Liège
Temporal logics and explicit-state model checking Pierre Wolper Université de Liège 1 Topics to be covered Introducing explicit-state model checking Finite automata on infinite words Temporal Logics and
More informationOn Decidability Properties of One-Dimensional Cellular Automata
On Decidability Properties of One-Dimensional Cellular Automata arxiv:0903.4615v1 [cs.lo] 26 Mar 2009 Olivier Finkel Equipe de Logique Mathématique CNRS et Université Paris 7, France. finkel@logique.jussieu.fr
More informationClarifications from last time. This Lecture. Last Lecture. CMSC 330: Organization of Programming Languages. Finite Automata.
CMSC 330: Organization of Programming Languages Last Lecture Languages Sets of strings Operations on languages Finite Automata Regular expressions Constants Operators Precedence CMSC 330 2 Clarifications
More informationarxiv:math/ v1 [math.gr] 8 Nov 2004
arxiv:math/0411166v1 [math.gr] 8 Nov 2004 CONTEXT-FREE ND 1-COUNTER GEODESIC LNGUGE FOR BUMSLG-SOLITR GROUP MURRY ELDER bstract. We give a language of unique geodesic normal forms for the Baumslag- Solitar
More informationExpressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
Fundamenta Informaticae XXI (2001) 1001 1017 1001 IOS Press Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees Vince Bárány Oxford University Computing Laboratory vbarany@comlab.ox.ac.uk
More informationOn closures of lexicographic star-free languages. E. Ochmański and K. Stawikowska
On closures of lexicographic star-free languages E. Ochmański and K. Stawikowska Preprint No 7/2005 Version 1, posted on April 19, 2005 On closures of lexicographic star-free languages Edward Ochma ski
More informationAutomata Theory. Lecture on Discussion Course of CS120. Runzhe SJTU ACM CLASS
Automata Theory Lecture on Discussion Course of CS2 This Lecture is about Mathematical Models of Computation. Why Should I Care? - Ways of thinking. - Theory can drive practice. - Don t be an Instrumentalist.
More informationSt.MARTIN S ENGINEERING COLLEGE Dhulapally, Secunderabad
St.MARTIN S ENGINEERING COLLEGE Dhulapally, Secunderabad-500 014 Subject: FORMAL LANGUAGES AND AUTOMATA THEORY Class : CSE II PART A (SHORT ANSWER QUESTIONS) UNIT- I 1 Explain transition diagram, transition
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationOverlapping tile automata:
Overlapping tile automata: towards a language theory of overlapping structures David Janin LaBRI, Université de Bordeaux Computer Science in Russia, Ekaterinburg, june 2013 1. From strings to overlapping
More informationOn the Regularity of Binoid Languages:
On the Regularity of Binoid Languages: A Comparative Approach Zoltán L. Németh University of Szeged, Inst. of Informatics P.O.B. 652, 6701 Szeged, Hungary zlnemeth@inf.u-szeged.hu Abstract. A binoid is
More informationINSTITUTE OF AERONAUTICAL ENGINEERING
INSTITUTE OF AERONAUTICAL ENGINEERING DUNDIGAL 500 043, HYDERABAD COMPUTER SCIENCE AND ENGINEERING TUTORIAL QUESTION BANK Course Name : FORMAL LANGUAGES AND AUTOMATA THEORY Course Code : A40509 Class :
More informationLower and Upper Bound Results for Hard Problems Related to Finite Automata
Lower and Upper Bound Results for Hard Problems Related to Finite Automata Henning Fernau Universität Trier, Germany fernau@informatik.uni-trier.de Andreas Krebs Universität Tübingen, Germany krebs@informatik.uni-tuebingen.de
More informationVIC 2004 p.1/26. Institut für Informatik Universität Heidelberg. Wolfgang Merkle and Jan Reimann. Borel Normality, Automata, and Complexity
Borel Normality, Automata, and Complexity Wolfgang Merkle and Jan Reimann Institut für Informatik Universität Heidelberg VIC 2004 p.1/26 The Quest for Randomness Intuition: An infinite sequence of fair
More informationParikh s Theorem and Descriptional Complexity
Parikh s Theorem and Descriptional Complexity Giovanna J. Lavado and Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano SOFSEM 2012 Špindlerův Mlýn, Czech
More informationAUTOMATIC STRUCTURES OF BOUNDED DEGREE REVISITED
The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 AUTOMATIC STRUCTURES OF BOUNDED DEGREE REVISITED DIETRICH KUSKE AND MARKUS LOHREY Abstract. The first-order theory of a string automatic structure
More informationThe First-Order Theory of Ground Tree Rewrite Graphs
Foundations of Software Technology and Theoretical Computer Science (2010) Submission The First-Order Theory of Ground Tree Rewrite Graphs Stefan Göller 1, Markus Lohrey 2 1 Department of Computer Science,
More informationLanguages, logics and automata
Languages, logics and automata Anca Muscholl LaBRI, Bordeaux, France EWM summer school, Leiden 2011 1 / 89 Before all that.. Sonia Kowalewskaya Emmy Noether Julia Robinson All this attention has been gratifying
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 13: Algorithmic Unsolvability The Halting Problem I In the last lecture we have shown
More informationObtaining the syntactic monoid via duality
Radboud University Nijmegen MLNL Groningen May 19th, 2011 Formal languages An alphabet is a non-empty finite set of symbols. If Σ is an alphabet, then Σ denotes the set of all words over Σ. The set Σ forms
More informationOn Sturmian and Episturmian Words, and Related Topics
On Sturmian and Episturmian Words, and Related Topics by Amy Glen Supervisors: Dr. Alison Wolff and Dr. Robert Clarke A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy
More informationOrigin-equivalence of two-way word transducers is in PSPACE
Origin-equivalence of two-way word transducers is in PSPACE Sougata Bose, Anca Muscholl, Vincent Penelle LaBRI, University of Bordeaux Gabriele Puppis CNRS, LaBRI Abstract We consider equivalence and containment
More informationNOTES ON AUTOMATA. Date: April 29,
NOTES ON AUTOMATA 1. Monoids acting on sets We say that a monoid S with identity element ɛ acts on a set Q if q(st) = (qs)t and qɛ = q. As with groups, if we set s = t whenever qs = qt for all q Q, then
More informationAutomatic Sequences and Transcendence of Real Numbers
Automatic Sequences and Transcendence of Real Numbers Wu Guohua School of Physical and Mathematical Sciences Nanyang Technological University Sendai Logic School, Tohoku University 28 Jan, 2016 Numbers
More informationSORTING SUFFIXES OF TWO-PATTERN STRINGS.
International Journal of Foundations of Computer Science c World Scientific Publishing Company SORTING SUFFIXES OF TWO-PATTERN STRINGS. FRANTISEK FRANEK and WILLIAM F. SMYTH Algorithms Research Group,
More informationA Unified Approach to Boundedness Properties in MSO
A Unified Approach to Boundedness Properties in MSO Łukasz Kaiser 1, Martin Lang 2, Simon Leßenich 3, and Christof Löding 2 1 LIAFA, CNRS & Université Paris Diderot Paris 7, France 2 Lehrstuhl für Informatik
More informationDeletion operations: closure properties
Deletion operations: closure properties Lila Kari Academy of Finland and Department of Mathematics 1 University of Turku 20500 Turku Finland June 3, 2010 KEY WORDS: right/left quotient, sequential deletion,
More informationTheory of computation: initial remarks (Chapter 11)
Theory of computation: initial remarks (Chapter 11) For many purposes, computation is elegantly modeled with simple mathematical objects: Turing machines, finite automata, pushdown automata, and such.
More informationDecidability Results for Probabilistic Hybrid Automata
Decidability Results for Probabilistic Hybrid Automata Prof. Dr. Erika Ábrahám Informatik 2 - Theory of Hybrid Systems RWTH Aachen SS09 - Probabilistic hybrid automata 1 / 17 Literatur Jeremy Sproston:
More information