|
Martina Pfeifer

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

Mathematik und Informatik

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 07.05.2012 von Martina Pfeifer
Geändert am 15.05.2012 von Martina Pfeifer
[Edit | Vorlage]

Oberseminare und sonstige Vorträge
Sonstige Vorträge