Comet Calendar Event Details

Mathematical Sciences Distinguished Colloquium by Michael F. Singer
Friday, Feb. 7
11 a.m. - noon Location: FN 2.106

Michael F. Singer

North Carolina State University

Finite 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.

Coffee to be served 30 minutes prior to the talk in the alcove outside of FO 2.406.

 

Persons with disabilities may submit a request for accommodations to participate in this event at UT Dallas' ADA website. You may also call (972) 883-5331 for assistance or send an email to [email protected]. All requests should be received no later than 2 business days prior to the event.
Contact Info:
Viswanath Ramakrishna, 972-883-6873
Questions? Email me.

Tagged as Lectures/Seminars, Professional Dev.
See more events from Natural Sciences & Mathematics
View other events on the Comet Calendar