**Upcoming Events**

Tuesday, August 30, 2016 at 1:30 PM in SAS 4201

Michael Singer, NC StateFinite automata, automatic sets, and difference equations

A finite automaton is one of the simplest models of computation. Initially introduced by McCulloch and Pitts to model neural networks, they have been used to aid in software design as well as to characterize certain formal languages and number-theoretic properties of integers. A set of integers is said to be m-automatic if there is a finite automaton that decides if an integer is in this set given its base-m representation. For example powers of 2 are 2-automatic but not 3-automatic. This latter result follows from a theorem of Cobham describing which sets of integers are m- and n-automatic for sufficiently distinct m and n. In recent work with Reinhard Schaefke, we gave a new proof of this result based on analytic results concerning normal forms of systems of difference equations. In this talk, I will describe this circle of ideas. No previous knowledge of any of these subjects will be assumed.

Tuesday, September 20, 2016 at 1:30 PM in SAS 4201

Zvi Rosen, University of PennsylvaniaTBA

Tuesday, October 25, 2016 at 1:30 PM in SAS 4201

Lihong Zhi, Academy of Mathematics and Systems Science, CAS, BeijingTBA

Tuesday, November 15, 2016 at 1:30 PM in SAS 4201

Jesus De Loera, University of California, DavisTBA

You can add or remove yourself from a seminar mailing list by visiting this link.

Seminar Organizer: C. Vinzant