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 Martina Pfeifer
Geändert am 15.05.2012 14:15:03 von Martina Pfeifer
[edit] [Vorlage] [
]
Sonstige Vorträge
Oberseminare und sonstige Vorträge
- Aktuelles
- Wochenplan (Kalender)
- Wochenplan (Liste)
- Wochenplan als ical
- Kolloquien
- Stellen FB10
- Stellen extern
- Bibliothek
- Buchrecherche
- Zeitschriftenrecherche
- Preprints
- Mathematical Reviews
- Zentralblatt für Mathematik
-
- Service
- Veranstaltungen buchen
- Ü-Leiter Bewerbung
- Rechnerwartung
- Raumbelegungsplan
- Raumreservierungen
- Personalverzeichnis
- Studieninfos
- Vorlesungsverzeichnis
- Prüfungsordnungen
