VORTRAG FÄLLT 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
Geändert am 15.05.2012 14:15:03 von
[edit] [Vorlage] [ ]

Sonstige Vorträge
Oberseminare und sonstige Vorträge