Büchi's Theorem

Deacon Linkhorn (The University of Manchester)


Büchi's theorem connects the definable sets of a certain structure on the powerset of the natural numbers, and the behaviour of finite automata. I'll outline the proof of one direction of the theorem (using automata to understand the definable sets) after going over some brief background material from both model theory and automata theory.


Import this event to your Outlook calendar
▲ Up to the top