Projektstart: 01.01.1997

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Beteiligte WissenschaftlerInnen der Universität Augsburg: Roland Glück, Dr. Peter Höfner, Han-Hing Dang

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Jules Desharnais (Université Laval), Dr. Georg, Struth (University of Sheffield) und andere

Zusammenfassung

Während Halbringe einfache sequentielle Komposition definieren, fügen Kleene- und Omegaalgebren die Möglichkeit beliebiger endlicher bzw. unendlicher Iteration eines Elements hinzu. Damit lassen sich Schleifen und ihre Terminierungsanalyse algebraisch behandeln.