Programm 5. Theorietag '95

Donnerstag, 28. September 1995

9:30-10:30: Eingeladener Vortrag:; Rüdiger Reischuk (Universität Lübeck), Turingmaschinen mit sublogarithmischen Platzschranken

11:00-11:20: Martin Hühne (Universität Dortmund), Effiziente Speicherstrukturen für Turingmaschinen mit einem Kopf
11:20-11:40: Klaus P. Jantke (Hochschule für Technik, Wirtschaft und Kultur Leipzig), Introducing a Two-Level Grammar Concept for Design
11:40-12:00: Armin Kühnemann (Technische Universität Dresden), A Pumping Lemma for Output Languages of Attributed Tree Transducers
12:00-12:20: Gerhard Buntrock (Universität Würzburg), Einige Bemerkungen zum Pumpen

14:20-14:40: Ludwig Staiger (Universität Halle-Wittenberg), Uniformly optimal prediction of infinite words
14:40-15:00: Andreas Schrader (Universität-Gesamthochschule Siegen), Bildkompression mit endlichen Automaten
15:00-15:20: Thomas Buchholz (Universität Gießen), Konstruierbarkeit von Funktionen in zellularen Automaten

15:50-16:10: Klaus-Jörn Lange (Universität Tübingen), Automaten mit der Datenstruktur Menge
16:10-16:30: Manfred Droste (Technische Universität Dresden), Erkennbare, aperiodische und logisch definierbare Sprachen in Nebenläufigkeitsmonoiden
16:30-16:50: Rudolf Freund (Technische Universität Wien), Contextual Array Grammars

16:50-17:50: Vollversammlung der GI Fachgruppe 0.1.5; Bericht der Fachgruppenleitung

9:00-9:20: Thomas Worsch (Universität Karlsruhe), Automaten mit ein bißchen Parallelität
9:20-9:40: Henning Fernau (Universität Tübingen), Programmierte Grammatiken mit unbedingtem Übergang und verwandte Mechanismen
9:40-10:00: Henning Bordihn (Universität Magdeburg), Akzeptierende programmierte Grammatiken ohne Nichtterminale
10:00-10:20: Markus Holzer (Universität Tübingen), On the Complexities of Deterministic Indexed Grammars

10:50-11:10: Martin Kutrib (Universität Gießen), On language families of interacting automata
11:10-11:30: Norbert Gutleben (Technische Universität Cottbus), Minimierung von Muller-Automaten
11:30-11:50: Helmut Seidl (Universität Trier), A Modal Mu-Calculus for Durational Transition Systems
11:50-12:10: David Damanik (Universität Frankfurt), Endliche Automaten mit eingeschränkter 2-Wege-Bewegung
12:10-12:30: Daniel Kirsten (Bad Dürrenberg), Properties of formal Languages of Therapy Plans created by Graph Grammars