|
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 Monday, 07.05.2012 13:22 von Martina Pfeifer
Geändert am Tuesday, 15.05.2012 14:15 von Martina Pfeifer
[Edit | Vorlage]

Oberseminare und sonstige Vorträge
Sonstige Vorträge