Algebraic Language Theory for Eilenberg–Moore Algebras

BLUMENSATH, Achim. Algebraic Language Theory for Eilenberg–Moore Algebras. Logical Methods in Computer Science. Logical Methods in Computer Science e.V., 2021, roč. 17, č. 2, s. 1-60. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-17(2:6)2021.

Základní údaje

• Originální název: Algebraic Language Theory for Eilenberg–Moore Algebras
• Autoři: BLUMENSATH, Achim (276 Německo, garant, domácí).
• Vydání: Logical Methods in Computer Science, Logical Methods in Computer Science e.V. 2021, 1860-5974.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Německo
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Impakt faktor: Impact factor: 0.591
• Kód RIV: RIV/00216224:14330/21:00119651
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.23638/LMCS-17(2:6)2021
• UT WoS: 000658731000006
• Klíčová slova anglicky: algebraic language theory; monads
• Štítky: formela-aut
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'.

Návaznosti

• GA17-01035S, projekt VaV: Název: Algebraická teorie jazyků pro nekonečné stromy

Investor: Grantová agentura ČR, Algebraic Language Theory for Infinite Trees