Erweiterte Suche

VORTRAG FLLT AUS!!!!!! P. Schlicht (Bonn): "Automata on ordinals and automaticity of linear orders"

am 15.05.2012 um 16:15h 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 07.05.2012 13:22:45 von Martina Pfeifer
Geändert am 15.05.2012 14:15:03 von Martina Pfeifer
[edit] [Vorlage] [ ]


Sonstige Vortrge
Oberseminare und sonstige Vortrge
Impressum | © 2007 FB10 WWU Münster