Properties of Fibonacci languages
|
|
- Debra Grant
- 5 years ago
- Views:
Transcription
1 Discrete Mathematics 224 (2000) Properties of Fibonacci languages S.S Yu a;, Yu-Kuang Zhao b a Department of Applied Mathematics, National Chung-Hsing University, Taichung, Taiwan b Required Courses Department, National Chung-Yi Institute of Technology, Taichung, Taiwan Abstract The Fibonacci language F u;v is the set of all Fibonacci words, where the rst word and the second word in the Fibonacci sequence are u and v, respectively. We show that the language F u;v is context-free free. We also show that F u;v is not dense if the word uv contains at least two distinct letters. Let w i denote the ith Fibonacci word. When considering the Fibonacci language F a;b for two distinct letters a and b, we show that for k 2 and 16i k, the word w iw i is not a prex of the Fibonacci word w k. We also show that for k 2, the language F k = {w nk n 1} is a code. c 2000 Elsevier Science B.V. All rights reserved. Keywords: Fibonacci word; Primitive; Palindrome word; Code; Context-free 1. Introduction Let X be a nite alphabet consisting of more than one element and let {a; b} X. Let X be the free monoid generated by X. Let 1 be the empty word and let X + =X \{1}. The length of a word x is denoted by lg (x). In this paper, for two words u; v X +, we consider the following two types of Fibonacci sequences of words: (1) w 1 = u; w 2 = v; w 3 = uv; :::; w n = w n 2 w n 1 ;::: ; (2) w 1 = u; w 2 = v; w 3 = vu; :::; w n = w n 1 w n 2 ;:::. Clearly, lg (w i ) lg (w i 1 ) for every i 3. Let F u;v ={w i i 1} and F u;v={w i i 1}. The language F a;b is a DOL language generated by the DOL rules a b and b ab (see [9]). The sequence of Fibonacci words plays a very important role in the combinatorial theory of free monoids for the recursively dened structure and remarkable combinatorial properties of Fibonacci words. Some properties concerning the Fibonacci language F u;v have been investigated by De Luca in [6], by Fan and Shyr in [1] and by Corresponding author. addresses: pyu@ower.amath.nchu.edu.tw (S. Yu), zhao@chinyi.ncit.edu.tw (Y. Zhao) X/00/$ - see front matter c 2000 Elsevier Science B.V. All rights reserved. PII: S X(00)
2 216 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Knuth et al. in [4]. In this paper, we investigate properties of the Fibonacci language F u;v either. Section 2 is dedicated to investigate the relationships between Fibonacci words and primitive words. A word f X + which is not a power of any other word is called a primitive word. Let Q be the set of all primitive words over X [10]. It is known that every word in X + can be uniquely expressed as a power of a primitive word [8]. For x X +,ifx = f n, n 1, and f is a primitive word, then we call f the primitive root of the word x and is denoted by x. For a language A X +, let A = { x x A}. In Section 2, we characterize the Febonacci language F u;v consisting of primitive words. A word w X is said to be a proper d-factor of a word z X + if w z and z = wx = yw for some words x; y. The family of words which have i distinct proper d-factors is denoted by D(i). A word x X + is d-primitive if x = wy 1 = y 2 w, where w X + and y 1 ;y 2 X, implies that x = w and y 1 = y 2 = 1. The set D(1) is exactly the family of all d-primitive words. For the properties of D(i), one is referred to [12]. Consider w i F a;b. In Section 3, we show that {w 1 ;w 2 ;w 3 } D(1) and w i D(j) for i 4 and j = i=2. If x = a 1 a 2 a n, where a i X, then we dene the reverse (or mirror image) ofthe word x to be ˆx = a n a 2 a 1. A word x is called palindrome if x =ˆx. Remark that if u = a and v = b, then ŵ i = w i, i 1. Let R be the set of all palindrome words over the alphabet X. Note that 1 R. Clearly, if x XX + R, then x D(1). The palindrome words and languages are studied by De Luca in [6,7], by Knuth et al. in [4], and by Lin in his Master thesis [5]. For the motivation of studying palindrome words and languages, one is referred to [7,8]. We derive that F a;b R = {a; b; bab} and F a;b F a;b R = {aa; bb; aba; babbab; w 4 w 6 } {w 2n w 3 n 1} in Section 3. Section 4 deals with the properties concerning the Fibonacci language F u;v related to formal language theory. We show that F u;v is context-free free and not dense. Items not dened here or in the subsequence sections can be found in books [2] and [10]. A non-empty language L is a code if for x 1 ;x 2 ;:::;x n ;y 1 ;y 2 ; :::; y m L, x 1 x 2 x n = y 1 y 2 y m implies that m = n and x i = y i for i =1; 2; :::; n. In Section 5, we show that for k 2, F k = {w nk n 1} F a;b is a code. 2. F u;v and primitive words In [1], Fan and Shyr have proved that the Fibonacci languages F a;b and F a;b are subsets of Q. Now, we shall characterize non-empty words u and v such that F u;v Q. Lemma 1 (Lyndon and Schutzenbuger [8]). (1) Let xy = p i, x; y X +, p Q, i 1. Then yx = q i for some q Q. (2) For x; y X +, xy = yx implies that x = y. Lemma 2 (Shyr and Yu [11]). Let xq m = g k for some m; k 1; x X + ;q Q and g Q; with x q +. Then q g and lg (g) lg (q m 1 ).
3 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Proposition 3. Let u; v X +. Then uvvuv Q if and only if u = v. If uvvuv Q; then v Q. Proof. If u = v, say u = q for some q Q, then clearly uvvuv qq + ; hence uvvuv Q. Now, suppose that uvvuv Q. By Lemma 1, vuvuv Q. There exist g Q and k 2 such that v(uv) 2 =g k. By Lemma 2, lg (g) lg (uv). Thus, k =2. This implies that there exist v 1 ;v 2 X + such that v=v 1 v 2 and g=vuv 1 =v 2 uv, i.e., v 1 v 2 uv 1 =v 2 uv 1 v 2. Since lg (vuv 1 )=lg(v 2 uv), lg (v 1 )=lg(v 2 ). As v 1 v 2 uv 1 = v 2 uv 1 v 2, v 1 = v 2 and v 1 u = v 2 u = uv 1. By Lemma 1, v 1 = u. Thus, v = v 1 v 1 = v 1 = u and v Q. Proposition 4. For u; v X + ; there exists q Q such that F u;v q + or (F u;v \{u; v; uv; vuv}) Q. Proof. If u = v, say u = q for some q Q, then clearly F u;v q +. Remark that w 1 = u, w 2 = v and w i = w i 2 w i 1 for i 3. Suppose u v. Clearly, v uv and uv vuv. That is, wk w k+1 for 16k63. As w i =w i 2 w i 1 =w i 2 w i 3 w i 2 = w i 4 w i 3 w i 3 w i 4 w i 3 for every i 5, by (1) of Proposition 3, w 5 ;w 6 ;w 7 Q. Again, by (2) of Proposition 3, w j Q for every j 8. Proposition 5. For u; v X + ;F u;v Q if and only if u; v; uv; vuv Q. Proof. If F u;v Q, then clearly u; v; uv; vuv Q. Now, let u; v; uv; vuv Q. Since {u; v; uv; vuv} F u;v and F u;v * q + for any q Q, by Proposition 4, F u;v Q. Proposition 6. For u; v X + ;F u;v = F u;v if and only if u = v. Proof. If F u;v = F u;v, then uv = vu. By Lemma 1, u = v. Now suppose that u = v. Then there exist q Q and i; j 1 such that u = q i and v = q j. One has that F u;v q + and F u;v q +. For every k 1, since lg (w k )=lg(w k ), w k = w k. Therefore, F u;v = F u;v. For z X + and x; y X,ifz = xy, then x is called a prex of z and y is called a sux of z, denoted by x6 p z and y6 s z, respectively. If x z (y z), then x (y) is said to be a proper prex (proper sux) ofz, denoted by x p z (y s z). Proposition 7. Let u; v X +. Then w i 6 p w i+1 for any i 3 if and only if u = v. Proof. Suppose there exists i 3 such that, w i 6 p w i+1. Then w i =w i 2 w i 1 and w i+1 = w i 1 w i = w i 1 w i 2 w i 1. Since w i 2 w i 1 = w i 6 p w i+1 = w i 1 w i 2 w i 1, w i 2 w i 1 = w i 1 w i 2. Thus, w i 2 = w i 1. This implies that w i 2 6 p w i 1. Thus, one must have that w i 3 = w i 2. Finally, we shall get that u = w 1 = w 2 = v.
4 218 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Let q= u.if u= v, then F u;v q +. Thus, w i =q r and w i+1 =q s for some r; s 1 and s r. Then w i 6 p w i+1. From Propositions 3, 6 and 7, we have the following conclusion: Theorem 8. Let u; v X +. Then the following are equivalent: (1) u = v; (2) F u;v = F u;v; (3) uvvuv Q; (4) w i 6 p w i+1 for some i F a;b and d-primitive properties This section is dedicated to the studing of d-primitive and palindrome properties of Fibonacci words. Consider the Fibonacci language F a;b. First, we are going to investigate the relationship between i and j such that w i D(j). Lemma 9. For i 4; w i+1 y 1 y 2 w i+1 for every non-empty prex y 1 and sux y 2 of w i. Proof. Suppose there exist i 4 and y 1 ;y 2 X + such that y 1 6 p w i, y 2 6 s w i and w i+1 y 1 = y 2 w i+1. Then lg (y 1 )=lg(y 2 ). Case i: lg (y 1 )6lg (w i 1 ). Since w i+1 = w i 1 w i 2 w i 1, y 2 w i 1 w i 2 w i 1 = y 2 w i+1 = w i+1 y 1 = w i 1 w i 2 w i 1 y 1. This implies that there is z X such that w i 1 = zy 1 = y z for some y X +. Then lg (y )=lg(y 1 ). As lg (y 2 )=lg(y 1 )=lg(y ) and y 2 6 p w i 1, y 2 =y, i.e., w i 1 =zy 1 =y 2 z. Thus, y 2 y 2 zw i 2 zy 1 =y 2 w i 1 w i 2 w i 1 =w i 1 w i 2 w i 1 y 1 = y 2 zw i 2 y 2 zy 1, i.e., y 2 zw i 2 = zw i 2 y 2. By Lemma 1, y2 = zw i 2. One has that w i 1 w i 2 = y 2 zw i 2 Q. By Lemma 1, w i = w i 2 w i 1 Q. This contradicts the fact that w i Q for every i [3]. Case ii: lg (y 1 ) lg (w i 1 ). As w i = w i 2 w i 1 and y 2 6 s w i, there exist x 1 ;x 2 X such that w i 2 = x 2 x 1 and y 2 = x 1 w i 1, where lg (x 1 )6lg (w i 2 ) lg (w i 1 ). Again, w i = w i 2 w i 1 and y 1 6 p w i imply that there is x 3 X + such that y 1 = w i 2 x 3 and x 3 6 p w i 1. There is z 1 X such that w i 1 =x 3 z 1. Since w i+1 y 1 =w i+1 w i 2 x 3 =y 2 w i+1 = y 2 w i 1 w i 2 w i 1, x 3 6 s w i 1. There is z 2 X such that w i 1 = z 2 x 3. Subcase ii(1): z 2 1. From the equation w i+1 y 1 = w i 1 w i 2 w i 1 w i 2 x 3 = w i 1 w i 2 z 2 x 3 w i 2 x 3 =y 2 w i+1 =x 1 w i 1 w i 1 w i 2 w i 1 =x 1 w i 1 z 2 x 3 w i 2 d 2 x 3, one has that z 2 x 3 w i 2 =x 3 w i 2 z 2. By Lemma 1, z 2 = x 3 w i 2. Thus, w i 1 w i 2 =z 2 x 3 w i 2 Q. By Lemma 1, w i = w i 2 w i 1 Q, a contradiction. Subcase ii(2): z 2 = 1. Then x 3 = w i 1 and y 1 = w i 2 w i 1 = w i. Since lg (y 2 )=lg(y 1 ) and y 2 6 s w i, y 2 = w i. One has that w i+1 w i = w i+1 y 1 = y 2 w i+1 = w i w i+2. By Lemma 1, wi+1 = w i. Again, w i+2 = w i w i+1 Q, a contradiction.
5 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Proposition 10. For i 4; w i = x(yx) j for some x; y X and j 0 with lg (x) lg (w i 2 ) if and only if (1) x = w i or (2) x = w i 2 ;y= w i 3 and w i = xyx. Proof. Let i 4. If (1) x = w i and y = 1 or (2) x = w i 2 and y = w i 3, then clearly w i = x or w i = xyx. Conversely, by the observation of w 1 = a, w 2 = b, w 3 = ab, w 4 = bab, w 5 = abbab and w 6 = bababbab, the result is true for i =4; 5; 6. Now, let i 7 and w i = x(yx) j for some x; y X and j 0 with lg (x) lg (w i 2 ). If x = w i, then clearly w i = x(yx) j for y = 1 and j = 0. Since w i = w i 2 w i 3 w i 2 and lg (w i 3 ) lg (w i 2 ), if x = w i 2, then w i = x(yx) j implies that y = w i 3, j = 1 and w i = xyx. Consider the case that x w i 2 and x w i.asw i = w i 2 w i 3 w i 2 = x(yx) j and lg(x) lg(w i 2 ), j = 1 and w i = xyx. By the condition lg(x) lg(w i 2 ), there exist a non-empty proper prex y 1 and a non-empty proper sux y 2 of w i 3 such that x = w i 2 y 1 = y 2 w i 2.Asi 7, i 3 4. This contradicts the result w i 2 y 1 y 2 w i 2 obtained in Lemma 9. Theorem 11. (1) {a; b; ab} D(1); (2) for i 4; w i D(j); where j = i=2. Proof. By the observation of w 1 = a, w 2 = b, w 3 = ab, w 4 = bab and w 5 = abbab, {a; b; ab} D(1) and {w 4 ;w 5 } D(2). Let i 6. As w i = w i 2 w i 3 w i 2, if there is x X + such that lg(x) lg(w i 2 ), x6 p w i and x6 s w i, then by Proposition 10, x = w i 2 or x = w i. Also, as w i = w i 2 w i 3 w i 2, for every x X with lg(x) lg(w i 2 ), x6 p w i and x6 s w i imply that x6 p w i 2 and x6 s w i 2. Thus, if w i 2 D(k) for some j 1, then w i D(k + 1). Therefore, for i 4, w i D(j), where j = i=2. Two words x; y X + are non-overlapping if every non-empty prex of x is not a sux of y, and vice versa. For u; v X +,if{u; v} D(1) and u; v are non-overlapping, one can also show a similar result for w i F u;v as the result obtained in Theorem 11. Next, we are going to nd out the relationship between the Fibonacci language F a;b and R. Proposition 12. F a;b R = {a; b; bab}. Proof. By [1], F a;b R 2 = F a;b \{a; b; ab; bab}. In [13], we show that R 2 (R Q)=, where 1 Q. In [1], it is shown that F a;b Q. Since a; b; bab R and ab R, F a;b R = {a; b; bab}. Remark that for x; z X + and y X, if xyz R and lg(x) = lg(z), then ˆx = z and y R. In [6], it is shown that for all n 3, ŵ n = n d n, where n R and d n = ab if n is even and d n = ba if n is odd. This property implies that for all n 2, ŵ 3 ŵ 2n R [5]. Proposition 13. F a;b F a;b R = {aa; bb; aba; babbab; w 4 w 6 } {w 2n w 3 n 1}.
6 220 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Proof. By [5], it is shown that ({aa; bb; aba; babbab; w 4 w 6 } {w 2n w 3 n 1}) R. Here, we shall show that ( F a;b F a;b R ) \({aa; bb; aba; babbab; w 4 w 6 } {w 2n w 3 n 1}) =. We consider the following cases of w i w j for i; j 1: Case 1: j = 1 and i 1. Clearly, w 1 w 1 = aa R and w 3 w 1 = aba R. From [6], one has that b6 p w i for every even number i 4 and w 2 = b. Since w j = w 1 = a, w i w j = w i a R for every even number i. From [6], again, one has that w i = ab i for every odd number i 5, where i R. Remark that i contains at least one a for every i 5. If w i w j = ab i a R, then b i R. Thus, b i = i b. By Lemma 1, b = b = i. That is, i b + which is impossible for every odd number i 5. Thus w 2 w 1 R and w i w 1 R for every i 4. Case 2: j 2 and i =2k 1 for k 1. Since b6 s w j for every j 2 and a6 p w i for every odd number i, w i w j R. Therefore, in the following cases, we only consider the case of even numbers i. Case 3: j = 2 and i =2k for k 1. Clearly, w 2 w 2 = bb R. From [6], one has that w i = ba i for every even number i 4, where i R. Remark that i contains at least one b for every i 4. If w i w j = ba i b R, then a i R. Thus a i = i a. By Lemma 1, a = a = i. That is, i a + which is impossible for every even number i 4. Case 4: j = 3 and i =2k for k 1. For every even number i 2, by [1], w i w j R. Case 5: j = 4 and i =2k for k 1. Clearly w 2 w 4 = bbab R and w 4 w 4 = babbab R. For every even number i 6, since w 6 6 p w i and w 6 = bababbab, w i = baba i b for some i X +. Since a i b R for every i X +, w i w 4 = baba i bbab R for every even number i 6. Case 6: j = 5 and i =2k for k 1. Clearly, w 2 w 5 = babbab R. By Proposition 12, w 4 w 5 = w 6 R. For every even number i 6, since w 6 6 p w i and w 6 = bababbab, w i =babab i for some i X +.Aslg(babab)=lg(w 5 ) and ŵ 5 =babba babab, w i w 5 = babab i w 5 R for every even number i 6. Case 7: j = 6 and i =2k for k 1. Clearly, w 2 w 6 = bbababbab R and w 4 w 6 = babbababbab R. For every even number i 6, since w 6 6 p w i, w i = w 6 x i for some x i X. By Proposition 12, w 6 R. Thus, w i w 6 = w 6 x i w 6 R. Case 8: j 7 and i =2k for k 1. For every j 7, w 6 6 s w j. And for every j 7, w 5 6 p w j if j is odd and w 6 6 p w j if j is even. Thus, for j 7, there is x j X such that w j = w 5 x j w 6 = w 5 x j bababbab if j is odd and w j = w 6 x j w 6 = w 6 x j bababbab if j is even. Thus, b6 p w j if j is even. Now, we consider the following subcases: Subcase 8(i): i =2. If j is even, then bb6 p bw j = w 2 w j.asab6 s w j, w 2 w j R. If j = 7, then w 2 w 7 = b(abbabbababbab)=(babbab)ba(babbab) R. Ifj 9 is odd, then w j =w 5 w 6 j w 6 for some j X. Thus, w 2 w j =bw 5 w 6 j w 6 =(babbab)w 6 j ba(babbab). As b6 p w 6, w 6 j ba R. This implies that w 2 w j R. Subcase 8(ii): i = 4. For odd number j 7, w 4 w j = w 4 w 5 x j w 6 = w 6 x j w 6. Since w 6 R, w 4 w j = w 6 x j w 6 R. For even number j 8, w 4 w j = w 4 w 6 x j w 6 =(bab) (bababbab)x j (babbabab)=(bab)bababbabx j babba(bab) R. Subcase 8(ii): i =2k for k 3. For i =2k and k 3, w 6 =w 4 w 5 6 p w i. Then w i =w 6 y i for some y i X. Thus w i w j = w 6 y i w 5 x j w 6 or w i w j = w 6 y i w 6 x j w 6.Asw 6 R, w i w j R for every even number i 6.
7 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) F u;v related to formal language theory A language L is said to be regular free (context-free free) if every innite subset of L is not a regular (context-free) language. Of course, if a language is context-free free, then it is also regular free. It is known that if L is an innite context-free language, then there exist x 1 ;x 2 ;x 3 ;x 4 ;x 5 X,lg(x 2 x 4 ) 1 such that {x 1 x n 2 x 3x n 4 x 5 n 0} L (see [2]). A language of the form {x 1 x n 2 x 3x n 4 x 5 n 0} is called a context-free component. Theorem 14. For any u; v X + ;F u;v is context-free free. Proof. Suppose on the contrary that F u;v is not context-free free. Then there is an in- nite context-free subset of F u;v. That is, there exist x 1 ;x 2 ;x 3 ;x 4 ;x 5 X,lg(x 2 x 4 ) 1, such that {x 1 x2 nx 3x4 nx 5 n 0} F u;v. Remark that w 1 = u, w 2 = v, w i = w i 2 w i 1 for i 3, F u;v = {w i i 1} and lg(w i ) lg(w i+1 ) for every i 2. There is k 3 such that w k = x 1 x j 2 x 3x j 4 x 5 for some j 1 and lg(w k 1 ) lg(x 2 x 4 ). This implies that lg(w k+1 )= lg(w k 1 )+lg(w k ) lg(x 1 x j+1 2 x 3 x j+1 4 x 5 ). Thus x 1 x j+1 2 x 3 x j+1 4 x 5 F u;v, a contradiction. Therefore, F u;v is context-free free. A word is said to be 4-powers free if it has no subword in the form x 4 for any word x X +. A language is called 4-powers free if every word in this language is 4-powers free. A language L is dense if for every x X, X xx L. IfX = {c} and u; v X +, then clearly, F u;v is dense. In the following proposition, we consider the case that X 2. Proposition 15. For u; v X + ;F u;v is not dense. Proof. By denition, every word in F u;v, except u and v, is a product of u and v. If u; v c + for c X, then F u;v c +. Clearly, in this case, F u;v is not dense. Now, suppose that the word uv contains at least two distinct letters. By [3], F a;b is 4-powers free. Every subword w of a Fibonacci word with lg(w)=4lg(uv) must contain at least one u and one v. This implies that every subword of a Fibonacci word with length longer than or equal to 4 lg(uv) containing at least two distinct letters. Thus, for any a X, the word a 4lg(uv) cannot be a subword of any word in F u;v. Thus F u;v is not dense. 5. The Fibonacci language F a;b and codes It is shown that languages F 1 1 = {w n n =2k 1;k 1} and F 1 2 = {w n n =2k; k 1} are codes [1], where w 1 = a, w 2 = b and w i = w i 2 w i 1, i 3. In this section, we are going to show that for k 2, the language F k = {w nk k 1} is also a code. Lemma 16. For every i 1; w i p w i+1.
8 222 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Proof. By observation, w 1 p w 2 and w 2 p w 3. Since a=a b= b, by Proposition 7, w i p w i+1 for every i 3. Moreover, from the denition of Fibonacci sequence w 1 ;w 2 ;:::;w n ;:::; we give the following remark: Remark 17. (1) If w i1 6 p w j and w i2 6 p w j for some i 1 ;i 2 ;j 1 with i 1 i 2, then w i2 6 p w i1. (2) w i 6 p w j implies that j i is an even number. Proposition 18. Let k 5. Then for 16i6k 4; w i 6 p w k implies that w i w i+1 w i+1 w i w i+1 6 p w k. Proof. Since w j =w j 2 w j 1 =w j 2 w j 3 w j 2 =w j 4 w j 3 w j 3 w j 4 w j 3 for every j 5, w 5 =w 1 w 2 w 2 w 1 w 2. We shall prove this proposition by induction on the number j. Now suppose we know the result for 56j6n. Consider the word w k.ifi = n 3 such that w i 6 p w n+1, by w n+1 = w n 3 w n 2 w n 2 w n 3 w n 2, w n 3 w n 2 w n 2 w n 3 w n 2 6 p w n+1. If there is i n 3 such that w i 6 p w n+1, then by Remark 17, 16i6n 5. Since w n+1 = w n 1 w n, w i 6 p w n 1 with i6(n 1) 4. By the induction hypothesis, w i w i+1 w i+1 w i w i+1 6 p w n 1. Thus w i w i+1 w i+1 w i w i+1 6 p w n+1. Proposition 19. For each k 2; w i w i p w k for every i k. Proof. Since w 1 = a, w 2 = b, w 3 = ab, w 4 = bab and w 5 = abbab, for 26k65, w i w i p w k for every i k. For k 5, suppose there is i k such that w i w i 6 p w k. Since w k = w k 2 w k 1 and w k 2 p w k 1, w k 2 w k 2 p w k. By Remark 17, i6k 4. By Proposition 18, w i 6 p w k and 16i6k 4 imply that w i w i+1 w i+1 w i w i+1 6 p w k. Thus, w i 6 p w i+1, by Lemma 16, which is impossible. Theorem 20. For k 2; the language F k = {w nk n 1} is a code. Proof. As F2 1 is a code, it is true for every even number k. Now, let k 3 beanodd number. Suppose F k is not a code. Then there exist w i1 ;w i2 ;:::;w in ;w j1, w j2 ;:::;w jm F k for some nite integers m; n 1 such that w i1 w j1 and w i1 w i2 w in = w j1 w j2 w jm. Since w i1 w j1, let i 1 j 1. Then w i1 6 p w j1. By the denition of F k, j 1 2k 6. By Remark 17 and k is an odd number, i 1 6j 1 2k6j 1 6. From Proposition 18, one has that w i1 w i1+1w i1+1w i1 w i1+16 p w j1. By Proposition 19, w i1+1w i1+1 p w i2. Thus, w i2 6 p w i1+1w i1+1; and hence w i2 6 p w i1+1. Since w i1+1 F k and w i1 p w i1+1, i 2 6 i 1 k6i 1 3, that is, i 2 6(i 1 +1) 4. Again, w i2 w i2+1w i2+1w i2 w i2+16 p w i1+1. Similarly, w i3 p w i2+1 and i 3 6(i 2 +1) 4. Since n is nite, there exists an integer 16r6n such that w ir p w ir+1. This contradicts the condition that w i1 w i2 w in = w j1 w j2 w jm. By a similar proof, one can derive that for every k 2 and m 1, the language F k = {w nk+m n 0} is a code. This result extends the results, F1 1 and F1 2 being codes, obtained in [1].
9 S.S. Yu, Y. Zhao / Discrete Mathematics 224 (2000) Acknowledgements The author would like to thank the referee for his careful reading of the manuscript and valuable suggestions. References [1] C.M. Fan, H.J. Shyr, Some properties of bonacci languages, Tamkang J. Math. 27 (2) (1996) [2] J.E. Hopcroft, J.D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley, Reading, MA, [3] J. Karhumaki, On cube-free!-words generated by binary morphism, Discrete Appl. Math. 5 (1985) [4] D.E. Knuth, J.H. Morris, V.R. Pratt, Fast pattern matching in strings, SIAM J. Comput. 6 (1977) [5] Y.Y. Lin, in: Properties of words and the related homomorphisms, Master Thesis, Institute of Applied Mathematics, Chung-Yuan Christan University, Chung-Li, Taiwan, [6] A. De Luca, A combinatorial property of bonacci words, Inform. Process Lett. 12 (1981) [7] A. De Luca, On the combinatorial problems in free monoids, Discrete Math. 38 (1982) [8] R.C. Lyndon, M.P. Schutzenberger, The equation a M = b N c P in a free group, Michigan Math. J. 9 (1962) [9] G. Rozenberg, A. Salomaa, The Mathematical Theory of L Systems, Academic Press, New York, [10] H.J. Shyr, Free monoids and languages, 2nd Edition, Hon Min Book Company, Taichung, Taiwan, [11] H.J. Shyr, S.S. Yu, Non-primitive words in the language p + q +, Soochow J. Math. 20 (4) (1994) [12] S.S. Yu, d-minimal languages, Discrete Appl. Math. 89 (1998) [13] S.S. Yu, Palindrome words and reverse closed languages, Internat. J. Comput. Math. (2000), in press.
Insertion and Deletion of Words: Determinism and Reversibility
Insertion and Deletion of Words: Determinism and Reversibility Lila Kari Academy of Finland and Department of Mathematics University of Turku 20500 Turku Finland Abstract. The paper addresses two problems
More informationA shrinking lemma for random forbidding context languages
Theoretical Computer Science 237 (2000) 149 158 www.elsevier.com/locate/tcs A shrinking lemma for random forbidding context languages Andries van der Walt a, Sigrid Ewert b; a Department of Mathematics,
More informationInvolution Palindrome DNA Languages
Involution Palindrome DNA Languages Chen-Ming Fan 1, Jen-Tse Wang 2 and C. C. Huang 3,4 1 Department of Information Management, National Chin-Yi University of Technology, Taichung, Taiwan 411. fan@ncut.edu.tw
More informationImproving the KMP Algorithm by Using Properties of Fibonacci String
Improving the KMP Algorithm by Using Properties of Fibonacci String Yi-Kung Shieh and R. C. T. Lee Department of Computer Science National Tsing Hua University d9762814@oz.nthu.edu.tw and rctlee@ncnu.edu.tw
More informationAperiodic languages and generalizations
Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k
More informationPrimitive partial words
Discrete Applied Mathematics 148 (2005) 195 213 www.elsevier.com/locate/dam Primitive partial words F. Blanchet-Sadri 1 Department of Mathematical Sciences, University of North Carolina, P.O. Box 26170,
More informationOn Shyr-Yu Theorem 1
On Shyr-Yu Theorem 1 Pál DÖMÖSI Faculty of Informatics, Debrecen University Debrecen, Egyetem tér 1., H-4032, Hungary e-mail: domosi@inf.unideb.hu and Géza HORVÁTH Institute of Informatics, Debrecen University
More informationOn the robustness of primitive words
Discrete Applied Mathematics 117 (2002) 239 252 On the robustness of primitive words Gheorghe Paun a, Nicolae Santean b, Gabriel Thierrin b;, Sheng Yu b a Institute of Mathematics of the Romanian Academy,
More informationLanguages and monoids with disjunctive identity
Languages and monoids with disjunctive identity Lila Kari and Gabriel Thierrin Department of Mathematics, University of Western Ontario London, Ontario, N6A 5B7 Canada Abstract We show that the syntactic
More informationFinite Automata, Palindromes, Powers, and Patterns
Finite Automata, Palindromes, Powers, and Patterns Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey Shallit School of Computer Science University of Waterloo 19 March 2008 Anderson et al. (University
More informationProduct of Finite Maximal p-codes
Product of Finite Maximal p-codes Dongyang Long and Weijia Jia Department of Computer Science, City University of Hong Kong Tat Chee Avenue, Kowloon, Hong Kong, People s Republic of China Email: {dylong,wjia}@cs.cityu.edu.hk
More informationOn Strong Alt-Induced Codes
Applied Mathematical Sciences, Vol. 12, 2018, no. 7, 327-336 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2018.8113 On Strong Alt-Induced Codes Ngo Thi Hien Hanoi University of Science and
More informationDecision Problems Concerning. Prime Words and Languages of the
Decision Problems Concerning Prime Words and Languages of the PCP Marjo Lipponen Turku Centre for Computer Science TUCS Technical Report No 27 June 1996 ISBN 951-650-783-2 ISSN 1239-1891 Abstract This
More informationWords with the Smallest Number of Closed Factors
Words with the Smallest Number of Closed Factors Gabriele Fici Zsuzsanna Lipták Abstract A word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal
More informationEquations on Partial Words
Equations on Partial Words F. Blanchet-Sadri 1 D. Dakota Blair 2 Rebeca V. Lewis 3 October 2, 2007 Abstract It is well known that some of the most basic properties of words, like the commutativity (xy
More informationSome Operations Preserving Primitivity of Words
Some Operations Preserving Primitivity of Words Jürgen Dassow Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg PSF 4120; D-39016 Magdeburg; Germany Gema M. Martín, Francisco J. Vico Departamento
More informationInternational Journal of Scientific & Engineering Research Volume 8, Issue 8, August-2017 ISSN
1280 A Note on Involution Pseudoknot-bordered Words Cheng-Chih Huang 1, Abstract This paper continues the exploration of properties concerning involution pseudoknot- (un)bordered words for a morphic involution
More informationNote On Parikh slender context-free languages
Theoretical Computer Science 255 (2001) 667 677 www.elsevier.com/locate/tcs Note On Parikh slender context-free languages a; b; ; 1 Juha Honkala a Department of Mathematics, University of Turku, FIN-20014
More informationNote Watson Crick D0L systems with regular triggers
Theoretical Computer Science 259 (2001) 689 698 www.elsevier.com/locate/tcs Note Watson Crick D0L systems with regular triggers Juha Honkala a; ;1, Arto Salomaa b a Department of Mathematics, University
More informationDiscrete Mathematics
Discrete Mathematics 310 (2010) 109 114 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Total palindrome complexity of finite words Mira-Cristiana
More informationOn the number of occurrences of all short factors in almost all words
Theoretical Computer Science 290 (2003) 2031 2035 www.elsevier.com/locate/tcs Note On the number of occurrences of all short factors in almost all words Ioan Tomescu Faculty of Mathematics, University
More informationHW6 Solutions. Micha l Dereziński. March 20, 2015
HW6 Solutions Micha l Dereziński March 20, 2015 1 Exercise 5.5 (a) The PDA accepts odd-length strings whose middle symbol is a and whose other letters are as and bs. Its diagram is below. b, Z 0 /XZ 0
More informationarxiv: v2 [math.co] 24 Oct 2012
On minimal factorizations of words as products of palindromes A. Frid, S. Puzynina, L. Zamboni June 23, 2018 Abstract arxiv:1210.6179v2 [math.co] 24 Oct 2012 Given a finite word u, we define its palindromic
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 informationof poly-slenderness coincides with the one of boundedness. Once more, the result was proved again by Raz [17]. In the case of regular languages, Szila
A characterization of poly-slender context-free languages 1 Lucian Ilie 2;3 Grzegorz Rozenberg 4 Arto Salomaa 2 March 30, 2000 Abstract For a non-negative integer k, we say that a language L is k-poly-slender
More informationCodingrotations on intervals
Theoretical Computer Science 28 (22) 99 7 www.elsevier.com/locate/tcs Codingrotations on intervals Jean Berstel a, Laurent Vuillon b; a Institut Gaspard Monge (IGM), Universite de Marne-la-Vallee, 5, boulevard
More informationthe rst section are dened words, free monoids, and some terms about words,
1 CHAPTER 1 Words 1.0. Introduction This chapter contains the main denitions used in the rest of the book. It also presents some basic results about words that are of constant use in the sequel. In the
More informationOgden s Lemma. and Formal Languages. Automata Theory CS 573. The proof is similar but more fussy. than the proof of the PL4CFL.
CS 573 Automata Theory and Formal Languages Professor Leslie Lander Lecture # 24 December 4, 2000 Ogden s Lemma (6.2) Let L be a CFL, then there is a constant n such that if z is a word in L with z > n
More informationFABER Formal Languages, Automata. Lecture 2. Mälardalen University
CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2010 1 Content Languages, g Alphabets and Strings Strings & String Operations Languages & Language Operations
More informationJerey Shallit. Department of Computer Science. University of Waterloo. Waterloo, Ontario N2L 3G1. Canada
Characteristic Words as Fixed Points of Homomorphisms Jerey Shallit Department of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 Canada shallit@watdragon.waterloo.edu Abstract. With
More informationSome Operations Preserving Primitivity of Words
J. Dassow, B. Truthe (Eds.): Colloquium on the Occasion of the 50 th Birthday of Victor Mitrana. Otto von Guericke Universität Magdeburg, Germany, June 27, 2008. Proceedings, pages 11 28. Some Operations
More informationAC68 FINITE AUTOMATA & FORMULA LANGUAGES DEC 2013
Q.2 a. Prove by mathematical induction n 4 4n 2 is divisible by 3 for n 0. Basic step: For n = 0, n 3 n = 0 which is divisible by 3. Induction hypothesis: Let p(n) = n 3 n is divisible by 3. Induction
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY THE PUMPING LEMMA FOR REGULAR LANGUAGES and REGULAR EXPRESSIONS TUESDAY Jan 21 WHICH OF THESE ARE REGULAR? B = {0 n 1 n n 0} C = { w w has equal number
More informationEdge-pancyclicity of Möbius cubes
Information Processing Letters 96 (25) 136 14 www.elsevier.com/locate/ipl Edge-pancyclicity of Möbius cubes Min Xu a,b, Jun-Ming Xu b, a Institute of Applied Mathematics, Academy of Mathematics and Systems
More informationIndependence of certain quantities indicating subword occurrences
Theoretical Computer Science 362 (2006) 222 231 wwwelseviercom/locate/tcs Independence of certain quantities indicating subword occurrences Arto Salomaa Turku Centre for Computer Science, Lemminkäisenkatu
More informationMinimal enumerations of subsets of a nite set and the middle level problem
Discrete Applied Mathematics 114 (2001) 109 114 Minimal enumerations of subsets of a nite set and the middle level problem A.A. Evdokimov, A.L. Perezhogin 1 Sobolev Institute of Mathematics, Novosibirsk
More informationChapter 6. Properties of Regular Languages
Chapter 6 Properties of Regular Languages Regular Sets and Languages Claim(1). The family of languages accepted by FSAs consists of precisely the regular sets over a given alphabet. Every regular set is
More informationCourse 2BA1: Hilary Term 2007 Section 8: Quaternions and Rotations
Course BA1: Hilary Term 007 Section 8: Quaternions and Rotations David R. Wilkins Copyright c David R. Wilkins 005 Contents 8 Quaternions and Rotations 1 8.1 Quaternions............................ 1 8.
More informationAutomata: a short introduction
ILIAS, University of Luxembourg Discrete Mathematics II May 2012 What is a computer? Real computers are complicated; We abstract up to an essential model of computation; We begin with the simplest possible
More informationFine and Wilf s Periodicity on Partial Words and Consequences
Fine and Wilf s Periodicity on Partial Words and Consequences F. Blanchet-Sadri 1, Kevin Corcoran 2, and Jenell Nyberg 3 1 Department of Computer Science, University of North Carolina, P.O. Box 26170,
More informationMergible States in Large NFA
Mergible States in Large NFA Cezar Câmpeanu a Nicolae Sântean b Sheng Yu b a Department of Computer Science and Information Technology University of Prince Edward Island, Charlottetown, PEI C1A 4P3, Canada
More informationRECENT RESULTS IN STURMIAN WORDS 1. LITP, IBP, Universite Pierre et Marie Curie, 4, place Jussieu. F Paris Cedex 05, France
RECENT RESULTS IN STURMIAN WORDS 1 JEAN BERSTEL LITP, IBP, Universite Pierre et Marie Curie, 4, place Jussieu F-75252 Paris Cedex 05, France e-mail: Jean.Berstel@litp.ibp.fr ABSTRACT In this survey paper,
More informationRELATIVE WATSON-CRICK PRIMITIVITY OF WORDS
For submission to the Journal of Automata, Languages and Combinatorics Created on December 1, 2017 RELATIVE WATSON-CRICK PRIMITIVITY OF WORDS Lila Kari (A) Manasi S. Kulkarni (B) Kalpana Mahalingam (B)
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More informationCS 275 Automata and Formal Language Theory
CS 275 Automata and Formal Language Theory Course Notes Part II: The Recognition Problem (II) Chapter II.4.: Properties of Regular Languages (13) Anton Setzer (Based on a book draft by J. V. Tucker and
More informationIndian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai , India. Instructor N.Sadagopan Scribe: P.
Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India An Institute of National Importance www.iiitdm.ac.in
More informationPrimitivity of finitely presented monomial algebras
Primitivity of finitely presented monomial algebras Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Dr. Burnaby, BC V5A 1S6. CANADA jpb@math.sfu.ca Pinar Pekcagliyan Department
More informationLaboratoire d Informatique Fondamentale de Lille
99{02 Jan. 99 LIFL Laboratoire d Informatique Fondamentale de Lille Publication 99{02 Synchronized Shue and Regular Languages Michel Latteux Yves Roos Janvier 1999 c LIFL USTL UNIVERSITE DES SCIENCES ET
More informationMURDOCH RESEARCH REPOSITORY This is the author s final version of the work, as accepted for publication following peer review but without the publisher s layout or pagination. The definitive version is
More informationBOUNDS ON ZIMIN WORD AVOIDANCE
BOUNDS ON ZIMIN WORD AVOIDANCE JOSHUA COOPER* AND DANNY RORABAUGH* Abstract. How long can a word be that avoids the unavoidable? Word W encounters word V provided there is a homomorphism φ defined by mapping
More informationProblem 2.6(d) [4 pts] Problem 2.12 [3pts] Original CFG:
Problem 2.6(d) [4 pts] S X T#X X#T T#X#T X axa bxb #T# # T at bt #T ε Problem 2.12 [3pts] Original CFG: R XRX S S atb bta T XTX X ε X a b q start ε, ε $ ε, R X ε, ε R ε, ε X ε, R S ε, T X ε, T ε ε, X a
More informationON THE LEAST NUMBER OF PALINDROMES IN AN INFINITE WORD
ON THE LEAST NUMBER OF PALINDROMES IN AN INFINITE WORD GABRIELE FICI AND LUCA Q. ZAMBONI ABSTRACT. We investigate the least number of palindromic factors in an infinite word. We first consider general
More informationOn Chomsky Hierarchy of Palindromic Languages
Acta Cybernetica 22 (2016) 703 713. On Chomsky Hierarchy of Palindromic Languages Pál Dömösi, Szilárd Fazekas, and Masami Ito Abstract The characterization of the structure of palindromic regular and palindromic
More informationSIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS
SIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS Manolis Christodoulakis 1, Costas S. Iliopoulos 1, Yoan José Pinzón Ardila 2 1 King s College London, Department of Computer Science London WC2R
More informationOn the Equation x k = z k 1 in a Free Semigroup
On the Equation x k = z k 1 in a Free Semigroup Tero Harju Dirk Nowotka Turku Centre for Computer Science, TUCS, Department of Mathematics, University of Turku 1 zk 2 2 zk n n TUCS Turku Centre for Computer
More informationCERNY CONJECTURE FOR DFA ACCEPTING STAR-FREE LANGUAGES
CERNY CONJECTURE FOR DFA ACCEPTING STAR-FREE LANGUAGES A.N. Trahtman? Bar-Ilan University, Dep. of Math. and St., 52900, Ramat Gan, Israel ICALP, Workshop synchr. autom., Turku, Finland, 2004 Abstract.
More information3515ICT: Theory of Computation. Regular languages
3515ICT: Theory of Computation Regular languages Notation and concepts concerning alphabets, strings and languages, and identification of languages with problems (H, 1.5). Regular expressions (H, 3.1,
More informationFinite Automata, Palindromes, Powers, and Patterns
Finite Automata, Palindromes, Powers, and Patterns Terry Anderson, Narad Rampersad, Nicolae Santean, and Jeffrey Shallit David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario
More informationarxiv: v1 [math.co] 22 Jan 2013
A Coloring Problem for Sturmian and Episturmian Words Aldo de Luca 1, Elena V. Pribavkina 2, and Luca Q. Zamboni 3 arxiv:1301.5263v1 [math.co] 22 Jan 2013 1 Dipartimento di Matematica Università di Napoli
More informationCombinatorial Interpretations of a Generalization of the Genocchi Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science
More informationA Factor Theorem for Subsets of a Free Monoid*
INFORMATION AND CONTROL 21, 21-26 (1972) A Factor Theorem for Subsets of a Free Monoid* DERICK WOOD* Department of Applied Mathematics, McMaster University, Hamilton, Ontario, Canada We give a condition
More informationSTAR-FREE GEODESIC LANGUAGES FOR GROUPS
STAR-FREE GEODESIC LANGUAGES FOR GROUPS SUSAN HERMILLER 1, DEREK F. HOLT, AND SARAH REES Abstract. In this article we show that every group with a finite presentation satisfying one or both of the small
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationThe free group F 2, the braid group B 3, and palindromes
The free group F 2, the braid group B 3, and palindromes Christian Kassel Université de Strasbourg Institut de Recherche Mathématique Avancée CNRS - Université Louis Pasteur Strasbourg, France Deuxième
More informationCodes induced by alternative codes
Acta Mathematica Vietnamica manuscript No. (will be inserted by the editor) Codes induced by alternative codes Ngo Thi Hien Do Long Van Received: date / Accepted: date arxiv:1801.02598v1 [cs.fl] 8 Jan
More informationOn Properties and State Complexity of Deterministic State-Partition Automata
On Properties and State Complexity of Deterministic State-Partition Automata Galina Jirásková 1, and Tomáš Masopust 2, 1 Mathematical Institute, Slovak Academy of Sciences Grešákova 6, 040 01 Košice, Slovak
More informationMinimizing finite automata is computationally hard
Theoretical Computer Science 327 (2004) 375 390 www.elsevier.com/locate/tcs Minimizing finite automata is computationally hard Andreas Malcher Institut für Informatik, Johann Wolfgang Goethe Universität,
More informationPeriodicity in Rectangular Arrays
Periodicity in Rectangular Arrays arxiv:1602.06915v2 [cs.dm] 1 Jul 2016 Guilhem Gamard LIRMM CNRS, Univ. Montpellier UMR 5506, CC 477 161 rue Ada 34095 Montpellier Cedex 5 France guilhem.gamard@lirmm.fr
More informationFall 1999 Formal Language Theory Dr. R. Boyer. 1. There are other methods of nding a regular expression equivalent to a nite automaton in
Fall 1999 Formal Language Theory Dr. R. Boyer Week Four: Regular Languages; Pumping Lemma 1. There are other methods of nding a regular expression equivalent to a nite automaton in addition to the ones
More informationAnew index of component importance
Operations Research Letters 28 (2001) 75 79 www.elsevier.com/locate/dsw Anew index of component importance F.K. Hwang 1 Department of Applied Mathematics, National Chiao-Tung University, Hsin-Chu, Taiwan
More informationSolution to CS375 Homework Assignment 11 (40 points) Due date: 4/26/2017
Solution to CS375 Homework Assignment 11 (40 points) Due date: 4/26/2017 1. Find a Greibach normal form for the following given grammar. (10 points) S bab A BAa a B bb Ʌ Solution: (1) Since S does not
More informationA representation of context-free grammars with the help of finite digraphs
A representation of context-free grammars with the help of finite digraphs Krasimir Yordzhev Faculty of Mathematics and Natural Sciences, South-West University, Blagoevgrad, Bulgaria Email address: yordzhev@swu.bg
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY Chomsky Normal Form and TURING MACHINES TUESDAY Feb 4 CHOMSKY NORMAL FORM A context-free grammar is in Chomsky normal form if every rule is of the form:
More informationBordered Conjugates of Words over Large Alphabets
Bordered Conjugates of Words over Large Alphabets Tero Harju University of Turku harju@utu.fi Dirk Nowotka Universität Stuttgart nowotka@fmi.uni-stuttgart.de Submitted: Oct 23, 2008; Accepted: Nov 14,
More informationOptimal Superprimitivity Testing for Strings
Optimal Superprimitivity Testing for Strings Alberto Apostolico Martin Farach Costas S. Iliopoulos Fibonacci Report 90.7 August 1990 - Revised: March 1991 Abstract A string w covers another string z if
More informationThe commutation with ternary sets of words
The commutation with ternary sets of words Juhani Karhumäki Michel Latteux Ion Petre Turku Centre for Computer Science TUCS Technical Reports No 589, March 2004 The commutation with ternary sets of words
More informationResults on Transforming NFA into DFCA
Fundamenta Informaticae XX (2005) 1 11 1 IOS Press Results on Transforming NFA into DFCA Cezar CÂMPEANU Department of Computer Science and Information Technology, University of Prince Edward Island, Charlottetown,
More informationCS 154. Finite Automata vs Regular Expressions, Non-Regular Languages
CS 154 Finite Automata vs Regular Expressions, Non-Regular Languages Deterministic Finite Automata Computation with finite memory Non-Deterministic Finite Automata Computation with finite memory and guessing
More information2 I like to call M the overlapping shue algebra in analogy with the well known shue algebra which is obtained as follows. Let U = ZhU ; U 2 ; : : :i b
The Leibniz-Hopf Algebra and Lyndon Words Michiel Hazewinkel CWI P.O. Box 94079, 090 GB Amsterdam, The Netherlands e-mail: mich@cwi.nl Abstract Let Z denote the free associative algebra ZhZ ; Z2; : : :i
More informationSimple equations on binary factorial languages
Simple equations on binary factorial languages A. E. Frid a a Sobolev Institute of Mathematics SB RAS Koptyug av., 4, 630090 Novosibirsk, Russia E-mail: frid@math.nsc.ru Abstract We consider equations
More informationCS375: Logic and Theory of Computing
CS375: Logic and Theory of Computing Fuhua (Frank) Cheng Department of Computer Science University of Kentucky 1 Table of Contents: Week 1: Preliminaries (set algebra, relations, functions) (read Chapters
More informationHW 3 Solutions. Tommy November 27, 2012
HW 3 Solutions Tommy November 27, 2012 5.1.1 (a) Online solution: S 0S1 ɛ. (b) Similar to online solution: S AY XC A aa ɛ b ɛ C cc ɛ X axb aa b Y by c b cc (c) S X A A A V AV a V V b V a b X V V X V (d)
More informationComputability and Complexity
Computability and Complexity Sequences and Automata CAS 705 Ryszard Janicki Department of Computing and Software McMaster University Hamilton, Ontario, Canada janicki@mcmaster.ca Ryszard Janicki Computability
More informationConjugacy on partial words. By: Francine Blanchet-Sadri and D.K. Luhmann
Conjugacy on partial words By: Francine Blanchet-Sadri and D.K. Luhmann F. Blanchet-Sadri and D.K. Luhmann, "Conjugacy on Partial Words." Theoretical Computer Science, Vol. 289, No. 1, 2002, pp 297-312.
More informationInternational Journal of Foundations of Computer Science Two-dimensional Digitized Picture Arrays and Parikh Matrices
International Journal of Foundations of Computer Science Two-dimensional Digitized Picture Arrays and Parikh Matrices --Manuscript Draft-- Manuscript Number: Full Title: Article Type: Keywords: Corresponding
More informationNote that neither ; nor are syntactic constituents of content models. It is not hard to see that the languages denoted by content models are exactly t
Unambiguity of Extended Regular Expressions in SGML Document Grammars Anne Bruggemann-Klein Abstract In the Standard Generalized Markup Language (SGML), document types are dened by context-free grammars
More informationSome operations preserving the existence of kernels
Discrete Mathematics 205 (1999) 211 216 www.elsevier.com/locate/disc Note Some operations preserving the existence of kernels Mostafa Blidia a, Pierre Duchet b, Henry Jacob c,frederic Maray d;, Henry Meyniel
More informationOn a kind of restricted edge connectivity of graphs
Discrete Applied Mathematics 117 (2002) 183 193 On a kind of restricted edge connectivity of graphs Jixiang Meng a; ;1, Youhu Ji b a Department of Mathematics, Xinjiang University, Urumqi 830046, Xinjiang,
More informationSemigroup, monoid and group models of groupoid identities. 1. Introduction
Quasigroups and Related Systems 16 (2008), 25 29 Semigroup, monoid and group models of groupoid identities Nick C. Fiala Abstract In this note, we characterize those groupoid identities that have a (nite)
More informationNote: In any grammar here, the meaning and usage of P (productions) is equivalent to R (rules).
Note: In any grammar here, the meaning and usage of P (productions) is equivalent to R (rules). 1a) G = ({R, S, T}, {0,1}, P, S) where P is: S R0R R R0R1R R1R0R T T 0T ε (S generates the first 0. R generates
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationGrade 11/12 Math Circles Fall Nov. 12 Recurrences, Part 3
1 Faculty of Mathematics Waterloo, Ontario Centre for Education in Mathematics and Computing Grade 11/12 Math Circles Fall 2014 - Nov. 12 Recurrences, Part 3 Definition of an L-system An L-system or Lindenmayer
More informationChomsky Normal Form and TURING MACHINES. TUESDAY Feb 4
Chomsky Normal Form and TURING MACHINES TUESDAY Feb 4 CHOMSKY NORMAL FORM A context-free grammar is in Chomsky normal form if every rule is of the form: A BC A a S ε B and C aren t start variables a is
More informationarxiv: v1 [math.co] 30 Mar 2010
arxiv:1003.5939v1 [math.co] 30 Mar 2010 Generalized Fibonacci recurrences and the lex-least De Bruijn sequence Joshua Cooper April 1, 2010 Abstract Christine E. Heitsch The skew of a binary string is the
More informationAbstract This work is a survey on decidable and undecidable problems in matrix theory. The problems studied are simply formulated, however most of the
Decidable and Undecidable Problems in Matrix Theory Vesa Halava University of Turku, Department of Mathematics, FIN-24 Turku, Finland vehalava@utu. Supported by the Academy of Finland under the grant 447
More informationIn English, there are at least three different types of entities: letters, words, sentences.
Chapter 2 Languages 2.1 Introduction In English, there are at least three different types of entities: letters, words, sentences. letters are from a finite alphabet { a, b, c,..., z } words are made up
More informationacs-04: Regular Languages Regular Languages Andreas Karwath & Malte Helmert Informatik Theorie II (A) WS2009/10
Regular Languages Andreas Karwath & Malte Helmert 1 Overview Deterministic finite automata Regular languages Nondeterministic finite automata Closure operations Regular expressions Nonregular languages
More informationImplicational classes ofde Morgan Boolean algebras
Discrete Mathematics 232 (2001) 59 66 www.elsevier.com/locate/disc Implicational classes ofde Morgan Boolean algebras Alexej P. Pynko Department of Digital Automata Theory, V.M. Glushkov Institute of Cybernetics,
More information