VORTRAG FÄLLT AUS!!!!!!
P. Schlicht (Bonn): Automata on ordinals and automaticity of linear orders
Tuesday, 15.05.2012 16:15 im Raum SR 1D
I will introduce structures recognizable by finite state automata with an input tape of length a limit ordinal. A reason for studying these structures is that their theory is always uniformly decidable. I will describe a method for proving nonautomaticity and determine the optimal bounds for ranks of linear orders recognized by such automata. This is joint work with Frank Stephan.
Angelegt am Monday, 07.05.2012 13:22 von Martina Pfeifer
Geändert am Tuesday, 15.05.2012 14:15 von Martina Pfeifer
[Edit | Vorlage]