10:15 Uhr
Alfons Geser
(Universität Tübingen)
» On Normalizing, Non-Terminating One-Rule String Rewriting
Systems «
- Kaffeepause -
11:15 Uhr
Tatsuhiko Saito (Hiroshima)
» One-Orbit Transformation Semigroups on Finite Sets
as Inductively Constructed
Semigroups «
12:00 Uhr
Volker Diekert
(Universität Stuttgart)
» Having a Finite Convergent Presentation is a Property Which
Does not Transfer
to Finitely Presented Submonoids: Squier's Example Revisited
«
- Mittagspause -
14:15 Uhr
Ulrich Hertrampf
(Universität Stuttgart)
» Acceptance by Transformation Monoids
«
15:00 Uhr
Friedrich Otto (Universität GH Kassel)
» FDT is Undecidable for Finitely Presented Monoids with Solvable
Word Problem «
Die Vorträge finden
im Raum 1.039 des
Informatik-Gebäudes
(Breitwiesenstr. 20-22, 70565 Stuttgart) statt.
Interessenten sind auch zu einzelnen Vorträgen herzlich
willkommen!
Zurück zur / Back to: Abteilung Theoretische Informatik.