Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2018 / Oberseminar / Hans Leiss: C-dioids and $\mu$-continuous Chomsky-algebras


Inhaltsbereich

Hans Leiss: C-dioids and $\mu$-continuous Chomsky-algebras

Oberseminarvortrag von Hans Leiss über C-dioids and $\mu$-continuous Chomsky-algebras
Wann 14:15 16:00 22.06.2018
von bis
Wo Raum L109, Oettingenstr. 67
Termin übernehmen vCal
iCal

Es spricht Hans Leiss über:
C-dioids and $\mu$-continuous Chomsky-algebras

Abstract:
For their complete axiomatization of the equational theory of
context-free languages, Grathwohl, Henglein and Kozen (FICS 2013)
introduced $\mu$-continuous Chomsky algebras. These are algebraically
complete idempotent semirings where multiplication and the
least-fixed-point operator $\mu$ are related by a continuity
condition. For his algebraic generalization of the Chomsky hierarchy,
Hopkins (RelMiCS 2008) introduced C-dioids, which are idempotent
semirings (or: dioids) where context-free subsets have least upper
bounds and multiplication is sup-continuous. We show that these two
classes of structures coincide.

Artikelaktionen


Funktionsleiste