From p-adic numbers to p-adic words

Size: px
Start display at page:

Download "From p-adic numbers to p-adic words"

Transcription

1 From p-adic numbers to p-adic words Jean-Éric Pin1 1 January 2014, Lorentz Center, Leiden

2 References I S. Eilenberg, Automata, Languages and Machines, Vol B, Acad. Press, New-York (1976). M. Lothaire, Combinatorics on Words, Cambridge Mathematical Library (1997). P. Ochsenschlager, Binomialkoeffizenten und Shuffle-Zahlen, Techn. Bericht, Fachbereicht Informatik, T.H. Darmstadt (1981). J. Berstel, M. Crochemore and J.-É. Pin, Thue sequence and p-adic topology of the free monoid, Discrete Mathematics 76 (1989),

3 Outline Part 1: From integers to words (1) The p-adic valuation (2) Subwords and binomial coefficients (3) The p-adic and pro-p topologies Part 2: Converging sequences (1) A first example (2) The Thue-Morse sequence strikes back Part 3: Mahler s theorem on interpolation series

4 Part I From integers to words

5 The p-adic valuation and the p-adic norm Let p be a prime number. The p-adic valuation of a non-zero integer n is v p (n) = max { k N p k divides n } By convention, v p (0) = +. The p-adic norm of n is the real number n p = p v p(n) Finally, the metric d p is defined by d p (x,y) = x y p

6 Examples Let n = 1200 = n 2 = 2 4 n 3 = 3 1 n 5 = 5 2 n 7 = 1 Let x = 512 and y = 12. Then x y = 500 = Thus d 2 (x,y) = 2 2 d 5 (x,y) = 5 3 d p (x,y) = p 0 = 1 for p 2,5

7 p-adic integers Some properties of the p-adic norm: xy p = x p y p x+y p max{ x p, y p } The ring Z p of p-adic integers is the completion of the metric space (N,d p ). It can also be defined as the inverse limit of the rings Z/p n Z.

8 Extension to the free monoid We denote by A the free monoid on the set A. Note that the map n a n defines a monoid isomorphism from (N,+) onto the free monoid a. Question. Is it possible to extend the p-adic norm and the p-adic metric to words in some natural way? Two (related) solutions. One is based on the extension of binomial coefficients to words, the other one relies on p-groups (the pro-p topology).

9 Subwords Let u = a 1 a n and v be two words of A. Then u is a subword of v if there exist v 0,...,v n A such that v = v 0 a 1 v 1 a 2 v n 1 a n v n. aaba is a subword of aacbdcac brcdbr is a subword of abracadabra office is a subword of coefficient pin is a subword of capobianco.

10 Binomial coefficients (see Eilenberg or Lothaire) Given two words u and x = a 1 a 2 a n, the binomial coefficient ( u x) is the number of times that x appears as a subword of u. That is, ( ) u = {(u 0,...,u n ) u = u 0 a 1 u 1 a 2...u n 1 a n u n } x

11 Some examples ( ) ( ) abab abab = 2 = 3 a ab Indeed abab = abab = abab. ( ) abab = 1 ba If a is a letter, then ( ) ( ) u a n = u a and = a a m ( ) abbabaab Exercise. =?? aab ( ) n m

12 An extension of the p-adic distance Let u and v be two words. Put { ( ) u r p (u,v) = min x x d p (u,v) = 1 r p (u,v) ( ) } v mod p x with the usual convention min = and p = 0. Then d p is an ultrametric: (1) d p (u,v) = 0 if and only if u = v, (2) d p (u,v) = d p (v,u), (3) d p (u,v) max(d p (u,w),d p (w,v))

13 The case of natural numbers Theorem (Consequence of Lucas theorem) Let n and m be natural numbers. Then r p (a n,a m ) = p n m p In other words, for 0 < k < p n m p, ( ) ( ) n m mod p k k and ( n p n m p ) ( m p n m p ) mod p

14 p-adic norm This leads to the following definitions { ( ) ( ) u v r p (u,v) = min x x x 1 d p (u,v) = r p (u,v) v p (u) = log p r p (u,1) u p = p v p(u) = 1 r p (u,1) = d p(u,1) } mod p

15 Three ways of computing binomial coefficients (1) Magnus transformation (2) Pascal s rule for words (3) Matrices

16 The Magnus transformation The Magnus transformation µ : Z A Z A, defined by µ(a) = 1+a and µ(b) = 1+b and extended by multiplication. Thus µ(1) = 1 and µ(abab) = (1+a)(1+b)(1+a)(1+b) = (1+a+b+ab)(1+a+b+ab) = 1+a+b+ab+a+aa+ba+aba+b +ab+bb+abb+ab+aab+bab+abab = 1+2a+2b+aa+3ab+ba+bb +aab+aba+abb+bab+abab More generally µ(u) = ( ) u x (Exercise) x x A

17 Pascal s triangle ( ) n = m ( ) n 1 + m 1 ( ) n 1 m

18 Extending Pascal s rule to words Let u,v ( ) A and a,b A. Then u (1) = 1, 1 ( ) u (2) = 0 if u v and u v, v ( ) u ( ) ua if a b vb (3) = ( ) ( ) vb u u + if a = b vb v ( ) uv (4) = ( )( ) u v (Exercise) x x x 1 x 2 =x 1 x 2

19 An exercise on matrices Verify that, for all words u,v {a,b}, 1 ( ( u u ) a) ab 1 ( ( v v ) ( 0 1 u a) ab 1 ( ) ( uv uv ) a ab ( b) 0 1 v b) = ( 0 1 uv ) b Applying this formula to u = abb yields =

20 Computing binomial coefficients with matrices Let a 1 a 2 a n be a word. The function τ : A M n+1 (Z) defined by 1 ( ) ( u u ) ( u ) ( a a 1 a 2 a 1 a 2 a 3... u ( 0 1 u ) ( u ) ( a 2 a 2 a 3... u ( u ) ( a τ(u) = 3... u ( u ) a n ) a 1 a 2 a n ) a 2 a n ) a 3 a n is a morphism of monoids: τ(u)τ(v) = τ(uv).

21 Computing binomial coefficients modulo p The function τ p : A M n+1 (Z/pZ) defined by τ p (u) τ(u) mod p is a morphism of monoids. Furthermore, the monoid τ p (A ) is a finite p-group, that is, a group whose number of elements is a power of p.

22 Languages and binomial coefficients (1) L 1 = = { ( ) u } u {a,b} 0 mod 2 ab (b+a ( b(ab a) b ) ) a a b a b a b a b The transition monoid of this automaton (syntactic monoid of L 1 ) is the dihedral group D 4 (of size 8).

23 Languages and binomial coefficients (2) ( ) u L 2 = {u {a,b} + aa a 1 2 ( ) u 0 mod 2} ab a,b b b a,b 4 a 3 The syntactic monoid of L 2 is also D 4.

24 Languages and binomial coefficients (3) { ( ) ( ) u u L 3 = u {a,b} 0 mod 2 and a b ( ) ( ) ( ) } u u u mod 2 ab aa bb The syntactic monoid of L 3 is the quaternion group Q 8 (of order 8).

25 a 5 b b 6 a b b 1 a 2 a a 4 a 3 b b a 8 b b 7 a

26 Languages recognized by a p-group A language whose syntactic monoid is a finite p-group is called a p-group language. Theorem (Eilenberg-Schützenberger 1976) A language of A is a p-group language iff it is a Boolean combination of the languages { ( ) } u L(x,r,p) = u A r mod p, x for 0 r < p and x A.

27 Separating word by p-groups Let u and v be two words of A. A p-group G separates u and v if there is a monoid morphism ϕ from A onto G such that ϕ(u) ϕ(v). Proposition Any pair of distinct words can be separated by a finite p-group. Proof. Wlog, we may assume that u is not a subword of v. Let L = { w A ( } w u) 1 mod p. Then u L since ( ( u u) = 1 and v / L since v u) = 0.

28 The pro-p metric Let x and y be two words. Put v p (x,y) = min { k there is a group of order p k+1 that separates x and y} d p(x,y) = p v p(x,y) v p (x) = v p (x,1) x p = p v p(x) Then d p is an ultrametric.

29 An equivalent metric Proposition d p is an ultrametric uniformly equivalent to d p. Theorem A function f : A B is uniformly continuous for d p iff, for every p-group language L of B, f 1 (L) is a p-group language of A.

30 Part II Converging sequences

31 Binomial coefficients (see Eilenberg or Lothaire) Given two words u and x = a 1 a 2 a n, the binomial coefficient ( u x) is the number of times that x appears as a subword of u. That is, ( ) u = {(u 0,...,u n ) u = u 0 a 1 u 1 a 2...u n 1 a n u n } x

32 Some examples ( ) ( ) abab abab = 2 = 3 a ab Indeed abab = abab = abab. ( ) abab = 1 ba If a is a letter, then ( ) ( ) u a n = u a and = a a m ( ) abbabaab Exercise. = 7 aab ( ) n m

33 An extension of the p-adic distance Let u and v be two words. Put { ( ) u r p (u,v) = min x x d p (u,v) = 1 r p (u,v) ( ) } v mod p x with the usual convention min = and p = 0. Then d p is an ultrametric: (1) d p (u,v) = 0 if and only if u = v, (2) d p (u,v) = d p (v,u), (3) d p (u,v) max(d p (u,w),d p (w,v))

34 The Magnus transformation The Magnus transformation µ : Z A Z A, defined by µ(a) = 1+a and µ(b) = 1+b and extended by multiplication. Thus µ(1) = 1 and µ(abab) = (1+a)(1+b)(1+a)(1+b) = (1+a+b+ab)(1+a+b+ab) = 1+a+b+ab+a+aa+ba+aba+b +ab+bb+abb+ab+aab+bab+abab = 1+2a+2b+aa+3ab+ba+bb +aab+aba+abb+bab+abab More generally µ(u) = ( ) u x (Exercise) x x A

35 An exercise on matrices Verify that, for all words u,v {a,b}, 1 ( ( u u ) a) ab 1 ( ( v v ) ( 0 1 u a) ab 1 ( ) ( uv uv ) a ab ( b) 0 1 v b) = ( 0 1 uv ) b Applying this formula to u = abb yields =

36 The pro-p metric Let x and y be two words. Put v p (x,y) = min { k there is a group of order p k+1 that separates x and y} d p(x,y) = p v p(x,y) v p (x) = v p (x,1) x p = p v p(x) Then d p is an ultrametric.

37 An equivalent metric Proposition d p is an ultrametric uniformly equivalent to d p. Theorem A function f : A B is uniformly continuous for d p iff, for every p-group language L of B, f 1 (L) is a p-group language of A.

38 Converging sequences Let (u n ) n 0 be a sequence of words and let u be a word. Are equivalent: (1) lim n u n = u, (2) For every k > 0, there is an N such that, for all n N and( for) all words ( ) x such that un u 0 < x k, mod p x x (3) For every k > 0, there is an N such that, for all n N and for all morphisms ϕ from A to a p-group of order p k, ϕ(u n ) = ϕ(u).

39 A first example of converging sequence Proposition For every word u A, lim n u pn = 1. Proof. By the definition of the topology, it suffices to show that if ϕ : A G is a monoid morphism onto a p-group G, then lim n ϕ(g pn ) = 1. But if G = p k, then for n k, ϕ(g pn ) = ϕ(g) pn = 1 since the order of ϕ(g) divides p k.

40 The pro-p free group The completion of the metric space (A,d p ) is denoted by F p (A). Since the product on A is uniformly continuous, it extends uniquely to F p (A). Also, for all u F p (A) ( ) 1 lim = 1 = u lim n upn n upn It follows that lim n u pn 1 = u 1 and hence F p (A) is a group, called the pro-p free group on A. It can also be defined as the inverse limit of the inverse system of all discrete finite p-groups.

41 Thue-Morse sequence Let A = {a,b}, and let τ : A A be the monoid morphism defined by τ(a) = ab and τ(b) = ba. For every n 0, let u n = τ n (a) and v n = τ n (b). Then for each i, u i is a proper left factor of u i+1. The sequence u 0, u 1,..., defines an infinite word t = abbabaabbaababba called the infinite word of Thue-Morse. u 3 = abbabaab v 3 = baababba

42 Ochsenschlager s theorem Theorem (Ochsenschlager 1981) For ( every word x such that 0 x n, un ) ( x = vnx ). Furthermore there exists a word x of length n+1 such that ( u n ) ( x vnx ). For instance, ( ) abbabaab = 7 aab ( ) abbabaab = 4 aaab ( ) baababba = 7 aab ( ) baababba = 2 aaab

43 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

44 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba n a b aa ab ba bb aaa aab aba abb baa bab bba

45 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba n a b aa ab ba bb aaa aab aba abb baa bab bba

46 The first values mod 2 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

47 The first values mod 2 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

48 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

49 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

50 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

51 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

52 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

53 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

54 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

55 The first values mod 5 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

56 The first values mod 5 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba

57 The first values of f(2,n) n f(2, n) n f(2, n) n f(2,n)

58 Counting modulo 2 Consider the Fibonacci sequence defined by F 0 = 0, F 1 = 1 and F n+2 = F n+1 +F n for every n 0. Theorem (Berstel, Crochemore, Pin 1989) For every n 0 and for every word x such that 0 < x < F n, ( u n x ) ( vnx ) 0 mod 2. Corollary The sequence t[f(2,n)] converges to 1 in the pro-2 topology.

59 Counting modulo p 2 Let f(p,n) = 2 n p 1+ log pn. Theorem (Berstel, Crochemore, Pin 1989) For every prime number p and for every n > 0, there exists an m = f(p,n) such that, for every nonempty word x of length n, ( ) t[m] x 0 mod p. Corollary The sequence t[f(p,n)] converges to 1 in the pro-p topology..

60 Part III Mahler s theorem on interpolation series Mahler s theorem is the dream of math students: A function is equal to the sum of its Newton series iff it is uniformly continuous. s_theorem

61

62 References I K. Mahler, An interpolation series for continuous functions of a p- adic variable, J. Reine Angew. Math. 199 (1958), Correction 208 (1961), J.-É. Pin and P.V. Silva, A noncommutative extension of Mahler s theorem on interpolation series, European Journal of Combinatorics 36, (2014),

63 The difference operator Let f : N Z be a function. We set Note that ( f)(n) = f(n+1) f(n) ( 2 f)(n) = f(n+2) 2f(n+1)+f(n) ( k f)(n) = ( ) k ( 1) r f(n+r) r 0 r k

64 Newton series For each function f : N Z, there exists a unique family a k of integers such that, for all n N, f(n) = ( ) n a k k k=0 This family is given by a k = ( k f)(0) Thus the sequence of polynomial functions f m (n) = m k=0 a k( n k) pointwise converges to f.

65 Examples Fibonacci sequence: f(0) = f(1) = 1 and f(n) = f(n 1)+f(n 2) for (n 2). Then f(n) = ( ) n ( 1) k+1 f(k) k k=0 Let f(n) = r n. Then f(n) = ( ) n (r 1) k k k=0

66 Examples (2) The parity function f(n) = then f(n) = Factorial n! = { 0 if n is even 1 if n is odd ( ) n ( 2) k 1 k k>0 ( ) n a k k k=0 where the a k are derangements: number of permutations of k elements with no fixed points: 1,0,1,2,9,44,265,1854,14833,133496,

67 Mahler s theorem Theorem (Mahler) Let f(n) = k=0 a n k( k) be the Newton series of a function f : N Z. TFCAE: (1) f is uniformly continuous for the p-adic norm, (2) the sequence of polynomial functions ) f m (n) = m k=0 a n k( k converges uniformly to f, (3) lim k a k p = 0. (2) means that lim m sup n N k=m a k( n k) p = 0.

68 Mahler s theorem (2) Theorem (Mahler) f is uniformly continuous iff its partial Newton series converges uniformly to f. The most remarkable part of this theorem is the fact that a function is equal to the sum of its Newton series if and only if it is uniformly continuous.

69 Examples The Fibonacci function is not uniformly continuous (for any p). The factorial function is not uniformly continuous (for any p). The function f(n) = r n is uniformly continuous iff p r 1 since f(n) = k=0 (r 1)k( n { k). 0 if n is even If f(n) = 1 if n is odd then f(n) = k>0 ( 2)k 1( n k) and hence f is uniformly continuous for the p-adic norm iff p = 2.

70 Extension to words Is it possible to obtain similar results for functions from A to Z? Questions to be solved: (1) Extend difference operators to word functions. (2) Find a notion of Newton series for functions from A to Z. (3) Extend Mahler s theorem.

71 Difference operator Let f : A Z be a function. For each letter a, we define the difference operator a by ( a f)(u) = f(ua) f(u) One can now define inductively an operator w for each word w A by setting ( 1 f)(u) = f(u), and for each letter a A, ( aw f)(u) = ( a ( w f))(u)

72 Direct definition of w Example w f(u) = 0 x w ( 1) w + x ( w x ) f(ux) aab f(u) = f(u)+2f(ua)+f(ub) f(uaa) 2f(uab)+f(uaab) The following formula hold for all v,w A : vw f = v ( w f)

73 Newton series for word functions Theorem (cf. Lothaire) For each function f : A Z, there exists a unique family f,v v A of integers such that, for all u A, f(u) = ( ) u f,v v v A This family is given by f,v = ( v f)(1) = 0 x v ( ) v ( 1) v + x f(x) x

74 An example Let f : {0,1} N the function mapping a binary word onto its value: f(010111)= f(10111)= 23. { ( v f +1 if the first letter of v is 1 f) = f otherwise { ( v 1 if the first letter of v is 1 f)(ε) = 0 otherwise Thus, if u = 01001, then f(u) = ( ( u 1) + u ( 10) + u ) ( 11 + u ) ( u ) ( u = ) =

75 Mahler s theorem for word functions Theorem (Main result) Let f(u) = v A f,v ( u v) be the Newton series of a function f : A Z. TFCAE: (1) f is uniformly continuous for d p, (2) the sequence of polynomial functions ) f n (u) = 0 v n f,v ( u converges uniformly to f, (3) lim v f,v p = 0. v

76 Mahler s expansion of the product of two functions An interesting question is to compute the Mahler s expansion of the product of two functions.

77 Mahler s expansion of the product of two functions An interesting question is to compute the Mahler s expansion of the product of two functions. Proposition Let f and g be two word functions. The coefficients of the Mahler s expansion of fg are given by fg,x = v 1,v 2 A f,v 1 g,v 2 v 1 v 2,x where v 1 v 2 denotes the infiltration product.

78 Infiltration product (Chen, Fox, Lyndon) Intuitively, the coefficient u v,x is the number of pairs of subsequences of x which are respectively equal to u and v and whose union gives the whole sequence x. For instance, ab ab = ab+2aab+2abb+4aabb+2abab 4aabb since aabb = aabb = aabb = aabb = aabb 2aab since aab = aa b b = aab b ab ba = aba+bab+abab+2abba+2baab+baba

79 Infiltration product (2) The infiltration product on Z A, denoted by, is defined inductively by (u,v A and a,b A) u 1 = 1 u = u, { (u vb)a+(ua v)b+(u v)a if a = b ua bv = (u vb)a+(ua v)b if a b for all s,t Z A, s t = u,v A s,u t,v (u v)

80 Mahler polynomials A function f : A Z is a Mahler polynomial if its Mahler s expansion has finite support, that is, if the number of nonzero coefficients f, v is finite. Proposition Mahler polynomials form a subring of the ring of all functions from A to Z for addition and multiplication.

81 Ongoing research Mahler s theorem is about functions from N to N. We extended it to functions from A to N. Next step: functions from A to B.

Profinite methods in automata theory

Profinite 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 information

A Mahler s theorem for functions from words to integers

A Mahler s theorem for functions from words to integers A Mahler s theorem for functions from words to integers Jean-Éric Pin and Pedro V. Sila December 16, 2007 Abstract In this paper, we proe an etension of Mahler s theorem, a celebrated result of p-adic

More information

A noncommutative extension of Mahler s theorem on interpolation series 1

A noncommutative extension of Mahler s theorem on interpolation series 1 A noncommutatie etension of Mahler s theorem on interpolation series 1 Jean-Éric Pin2, Pedro V. Sila 3 Tuesday 20 th December, 2011 Abstract In this paper, we proe an etension of Mahler s theorem on interpolation

More information

Profinite methods in automata theory

Profinite methods in automata theory Profinite methods in automata theory Jean-Éric Pin Invited lecture at STACS 2009 Abstract This survey paper presents the success story of the topological approach to automata theory. It is based on profinite

More information

Newton s forward difference equation for functions from words to words

Newton s forward difference equation for functions from words to words Newton s forward difference equation for functions from words to words Jean-Éric Pin1 LIAFA, Université Paris-Diderot and CNRS, Case 7014, F-75205 Paris Cedex 13. Abstract. Newton s forward difference

More information

group Jean-Eric Pin and Christophe Reutenauer

group Jean-Eric Pin and Christophe Reutenauer A conjecture on the Hall topology for the free group Jean-Eric Pin and Christophe Reutenauer Abstract The Hall topology for the free group is the coarsest topology such that every group morphism from the

More information

A Mahler s theorem for functions from words to integers

A Mahler s theorem for functions from words to integers A Mahler s theorem for functions from words to integers Jean-Eric Pin, Pedro Sila To cite this ersion: Jean-Eric Pin, Pedro Sila. A Mahler s theorem for functions from words to integers. Susanne Albers,

More information

Duality and Automata Theory

Duality 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

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1)

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1) COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)

More information

arxiv: v3 [math.co] 11 Mar 2015

arxiv: v3 [math.co] 11 Mar 2015 SUBWORD COUNTING AND THE INCIDENCE ALGEBRA ANDERS CLAESSON arxiv:50203065v3 [mathco] Mar 205 Abstract The Pascal matrix, P, is an upper diagonal matrix whose entries are the binomial coefficients In 993

More information

Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006

Conference 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 information

Words generated by cellular automata

Words 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 information

Sturmian Words, Sturmian Trees and Sturmian Graphs

Sturmian 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 information

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1)

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1) COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)

More information

CS 133 : Automata Theory and Computability

CS 133 : Automata Theory and Computability CS 133 : Automata Theory and Computability Lecture Slides 1 Regular Languages and Finite Automata Nestine Hope S. Hernandez Algorithms and Complexity Laboratory Department of Computer Science University

More information

Special Factors and Suffix and Factor Automata

Special 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 information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can

More information

The Binomial Theorem.

The Binomial Theorem. The Binomial Theorem RajeshRathod42@gmail.com The Problem Evaluate (A+B) N as a polynomial in powers of A and B Where N is a positive integer A and B are numbers Example: (A+B) 5 = A 5 +5A 4 B+10A 3 B

More information

The wreath product principle for ordered semigroups

The wreath product principle for ordered semigroups The wreath product principle for ordered semigroups Jean-Eric Pin, Pascal Weil To cite this version: Jean-Eric Pin, Pascal Weil. The wreath product principle for ordered semigroups. Communications in Algebra,

More information

Aperiodic languages p. 1/34. Aperiodic languages. Verimag, Grenoble

Aperiodic languages p. 1/34. Aperiodic languages. Verimag, Grenoble Aperiodic languages p. 1/34 Aperiodic languages Dejan Ničković Verimag, Grenoble Aperiodic languages p. 2/34 Table of Contents Introduction Aperiodic Sets Star-Free Regular Sets Schützenberger s theorem

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER 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 information

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harry Lewis September 5, 2013 Reading: Sipser, Chapter 0 Sets Sets are defined by their members A = B means that for every x, x A iff

More information

Languages and monoids with disjunctive identity

Languages 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 information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

About Duval Extensions

About Duval Extensions About Duval Extensions Tero Harju Dirk Nowotka Turku Centre for Computer Science, TUCS Department of Mathematics, University of Turku June 2003 Abstract A word v = wu is a (nontrivial) Duval extension

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

An extension of the Pascal triangle and the Sierpiński gasket to finite words. Joint work with Julien Leroy and Michel Rigo (ULiège)

An extension of the Pascal triangle and the Sierpiński gasket to finite words. Joint work with Julien Leroy and Michel Rigo (ULiège) An extension of the Pascal triangle and the Sierpiński gasket to finite words Joint work with Julien Leroy and Michel Rigo (ULiège) Manon Stipulanti (ULiège) FRIA grantee LaBRI, Bordeaux (France) December

More information

Polynomial closure and unambiguous product

Polynomial closure and unambiguous product Polynomial closure and unambiguous product Jean-Eric Pin and Pascal Weil pin@litp.ibp.fr, weil@litp.ibp.fr 1 Introduction This paper is a contribution to the algebraic theory of recognizable languages,

More information

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z). CHAPTER 2 Groups Definition (Binary Operation). Let G be a set. A binary operation on G is a function that assigns each ordered pair of elements of G an element of G. Note. This condition of assigning

More information

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.

More information

Duality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +

Duality 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 information

CS6902 Theory of Computation and Algorithms

CS6902 Theory of Computation and Algorithms CS6902 Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational tool - procedure/analysis

More information

CSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission.

CSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission. CSE 5 Homework Due: Monday October 9, 7 Instructions Upload a single file to Gradescope for each group. should be on each page of the submission. All group members names and PIDs Your assignments in this

More information

DENSITY OF CRITICAL FACTORIZATIONS

DENSITY 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 information

A Hierarchy of Automatic ω-words having a decidable MSO Theory

A Hierarchy of Automatic ω-words having a decidable MSO Theory 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

More information

Algebraic Approach to Automata Theory

Algebraic Approach to Automata Theory Algebraic Approach to Automata Theory Deepak D Souza Department of Computer Science and Automation Indian Institute of Science, Bangalore. 20 September 2016 Outline 1 Overview 2 Recognition via monoid

More information

CS Automata, Computability and Formal Languages

CS Automata, Computability and Formal Languages Automata, Computability and Formal Languages Luc Longpré faculty.utep.edu/longpre 1 - Pg 1 Slides : version 3.1 version 1 A. Tapp version 2 P. McKenzie, L. Longpré version 2.1 D. Gehl version 2.2 M. Csűrös,

More information

A Hierarchy of Automatic ω-words having a decidable MSO GAMES LAAW 06 Theory 1 / 14

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 information

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

The Probability of Winning a Series. Gregory Quenell

The Probability of Winning a Series. Gregory Quenell The Probability of Winning a Series Gregory Quenell Exercise: Team A and Team B play a series of n + games. The first team to win n + games wins the series. All games are independent, and Team A wins any

More information

Regular Sequences. Eric Rowland. School of Computer Science University of Waterloo, Ontario, Canada. September 5 & 8, 2011

Regular Sequences. Eric Rowland. School of Computer Science University of Waterloo, Ontario, Canada. September 5 & 8, 2011 Regular Sequences Eric Rowland School of Computer Science University of Waterloo, Ontario, Canada September 5 & 8, 2011 Eric Rowland (University of Waterloo) Regular Sequences September 5 & 8, 2011 1 /

More information

PERIODS OF FACTORS OF THE FIBONACCI WORD

PERIODS OF FACTORS OF THE FIBONACCI WORD PERIODS OF FACTORS OF THE FIBONACCI WORD KALLE SAARI Abstract. We show that if w is a factor of the infinite Fibonacci word, then the least period of w is a Fibonacci number. 1. Introduction The Fibonacci

More information

ON 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 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 information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

RECOGNIZABLE SETS OF INTEGERS

RECOGNIZABLE 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 information

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS

ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS JULIA PORCINO Our brief discussion of the p-adic integers earlier in the semester intrigued me and lead me to research further into this topic. That

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Theory of Computation 1 Sets and Regular Expressions

Theory of Computation 1 Sets and Regular Expressions Theory of Computation 1 Sets and Regular Expressions Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Theory of Computation

More information

Absolute Values and Completions

Absolute Values and Completions Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic

More information

A New Shuffle Convolution for Multiple Zeta Values

A 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 information

Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008

Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008 Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008 Name: ID #: This is a Close Book examination. Only an A4 cheating sheet belonging to you is acceptable. You can write your answers

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Semigroup presentations via boundaries in Cayley graphs 1

Semigroup presentations via boundaries in Cayley graphs 1 Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under

More information

A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES

A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES Logical Methods in Computer Science Vol. 14(1:24)2018, pp. 1 23 https://lmcs.episciences.org/ Submitted Feb. 28, 2017 Published Mar. 29, 2018 A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES OLIVIER

More information

Theory of Computer Science

Theory of Computer Science Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 14, 2016 Introduction Example: Propositional Formulas from the logic part: Definition (Syntax of Propositional

More information

Theory of Computation

Theory of Computation Fall 2002 (YEN) Theory of Computation Midterm Exam. Name:... I.D.#:... 1. (30 pts) True or false (mark O for true ; X for false ). (Score=Max{0, Right- 1 2 Wrong}.) (1) X... If L 1 is regular and L 2 L

More information

In English, there are at least three different types of entities: letters, words, sentences.

In 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 information

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples: Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid

More information

A MATRIX GENERALIZATION OF A THEOREM OF FINE

A MATRIX GENERALIZATION OF A THEOREM OF FINE A MATRIX GENERALIZATION OF A THEOREM OF FINE ERIC ROWLAND To Jeff Shallit on his 60th birthday! Abstract. In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients ( n, for m

More information

Games derived from a generalized Thue-Morse word

Games 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 information

ON PATTERNS OCCURRING IN BINARY ALGEBRAIC NUMBERS

ON PATTERNS OCCURRING IN BINARY ALGEBRAIC NUMBERS ON PATTERNS OCCURRING IN BINARY ALGEBRAIC NUMBERS B. ADAMCZEWSKI AND N. RAMPERSAD Abstract. We prove that every algebraic number contains infinitely many occurrences of 7/3-powers in its binary expansion.

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

Finiteness conditions and index in semigroup theory

Finiteness conditions and index in semigroup theory Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions

More information

Obtaining the syntactic monoid via duality

Obtaining 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 information

Binomial coefficients and k-regular sequences

Binomial coefficients and k-regular sequences Binomial coefficients and k-regular sequences Eric Rowland Hofstra University New York Combinatorics Seminar CUNY Graduate Center, 2017 12 22 Eric Rowland Binomial coefficients and k-regular sequences

More information

Automatic Sequences and Transcendence of Real Numbers

Automatic 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 information

Congruences for combinatorial sequences

Congruences for combinatorial sequences Congruences for combinatorial sequences Eric Rowland Reem Yassawi 2014 February 12 Eric Rowland Congruences for combinatorial sequences 2014 February 12 1 / 36 Outline 1 Algebraic sequences 2 Automatic

More information

FABER Formal Languages, Automata. Lecture 2. Mälardalen University

FABER 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 information

Primitive partial words

Primitive 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 information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

BOUNDS ON ZIMIN WORD AVOIDANCE

BOUNDS 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 information

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic

More information

The p-adic Numbers. Akhil Mathew

The p-adic Numbers. Akhil Mathew The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor

More information

FIXED POINTS OF MORPHISMS AMONG BINARY GENERALIZED PSEUDOSTANDARD WORDS

FIXED POINTS OF MORPHISMS AMONG BINARY GENERALIZED PSEUDOSTANDARD WORDS #A21 INTEGERS 18 (2018) FIXED POINTS OF MORPHISMS AMONG BINARY GENERALIZED PSEUDOSTANDARD WORDS Tereza Velká Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical

More information

Finite Automata and Regular Languages

Finite Automata and Regular Languages Finite Automata and Regular Languages Topics to be covered in Chapters 1-4 include: deterministic vs. nondeterministic FA, regular expressions, one-way vs. two-way FA, minimization, pumping lemma for regular

More information

A robust class of regular languages

A robust class of regular languages A robust class of regular languages Antonio Cano Gómez 1 and Jean-Éric Pin2 1 Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, P.O. Box: 22012,

More information

Regularity-preserving letter selections

Regularity-preserving letter selections Regularity-preserving letter selections Armando B. Matos LIACC, Universidade do Porto Rua do Campo Alegre 823, 4150 Porto, Portugal 1 Introduction and definitions Seiferas and McNaughton gave in [SM76]

More information

Some results on the generalized star-height problem

Some results on the generalized star-height problem Some results on the generalized star-height problem Jean-Eric Pin, Howard Straubing, Denis Thérien To cite this version: Jean-Eric Pin, Howard Straubing, Denis Thérien. Some results on the generalized

More information

Crochemore factorization of Sturmian and other infinite words

Crochemore factorization of Sturmian and other infinite words WoWA,7june2006 1 Crochemore factorization of Sturmian and other infinite words Jean Berstel and Alessandra Savelli Institut Gaspard Monge Université de Marne la Vallée and CNRS(UMR 8049) Workshop on Words

More information

Aperiodic languages and generalizations

Aperiodic 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 information

Congruences for algebraic sequences

Congruences for algebraic sequences Congruences for algebraic sequences Eric Rowland 1 Reem Yassawi 2 1 Université du Québec à Montréal 2 Trent University 2013 September 27 Eric Rowland (UQAM) Congruences for algebraic sequences 2013 September

More information

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m

More information

Some decision problems on integer matrices

Some decision problems on integer matrices Some decision problems on integer matrices Christian Choffrut L.I.A.F.A, Université Paris VII, Tour 55-56, 1 er étage, 2 pl. Jussieu 75 251 Paris Cedex France Christian.Choffrut@liafa.jussieu.fr Juhani

More information

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011

Linear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields

More information

The p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti

The p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti The p-adic Numbers Akhil Mathew Math 155, Professor Alan Candiotti 4 May 2009 Akhil Mathew (Math 155, Professor Alan Candiotti) The p-adic Numbers 4 May 2009 1 / 17 The standard absolute value on R: A

More information

C1.1 Introduction. Theory of Computer Science. Theory of Computer Science. C1.1 Introduction. C1.2 Alphabets and Formal Languages. C1.

C1.1 Introduction. Theory of Computer Science. Theory of Computer Science. C1.1 Introduction. C1.2 Alphabets and Formal Languages. C1. Theory of Computer Science March 20, 2017 C1. Formal Languages and Grammars Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 20, 2017 C1.1 Introduction

More information

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z. ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

More information

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the

More information

Author: Vivek Kulkarni ( )

Author: Vivek Kulkarni ( ) Author: Vivek Kulkarni ( vivek_kulkarni@yahoo.com ) Chapter-3: Regular Expressions Solutions for Review Questions @ Oxford University Press 2013. All rights reserved. 1 Q.1 Define the following and give

More information

a = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0

a = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0 p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then

More information

Semigroup invariants of symbolic dynamical systems

Semigroup invariants of symbolic dynamical systems Semigroup invariants of symbolic dynamical systems Alfredo Costa Centro de Matemática da Universidade de Coimbra Coimbra, October 6, 2010 Discretization Discretization Discretization 2 1 3 4 Discretization

More information

Chapter 4. Regular Expressions. 4.1 Some Definitions

Chapter 4. Regular Expressions. 4.1 Some Definitions Chapter 4 Regular Expressions 4.1 Some Definitions Definition: If S and T are sets of strings of letters (whether they are finite or infinite sets), we define the product set of strings of letters to be

More information

Border Correlation of Binary Words

Border Correlation of Binary Words Border Correlation of Binary Words Tero Harju Dirk Nowotka Turku Centre for Computer Science, TUCS, Department of Mathematics, University of Turku TUCS Turku Centre for Computer Science TUCS Technical

More information

Combinatorics on Finite Words and Data Structures

Combinatorics 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 information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Topics in Timed Automata

Topics 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 information

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never

More information

Theory of Computation

Theory of Computation Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.

More information