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 (威尼斯赌博游戏_威尼斯赌博app-【官网】 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.
