Frank Stephan: Automatic Structures – recent results and open questions

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 25 March 2015, 17:00 hrs

Room: S17#05-11, Department of Mathematics, NUS

Speaker: Frank Stephan

Title: Automatic Structures – recent results and open questions

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

Abstract:
Automatic structures are a way to represent algebraic
structures using finite automata; all the algebraic operations
and relations have to be recognised / verified by finite automata
which read the inputs and outputs with the same speed (one symbol
per cycle). The talk gives an overview on what structures can
be represented this way and which questions are left open in
the field.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.