C-dioids and \(\mu\)-continuous Chomsky-algebras. (English) Zbl 1518.68219
Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 21-36 (2018).
Summary: We prove that the categories of \(\mathcal{C}\)-dioids of the second author [Zbl 1140.68039; Zbl 1140.68040] and of \(\mu\)-continuous Chomsky-algebras of Grathwohl, Henglein and Kozen [Zbl 1462.68115; Zbl 1380.68289] are the same.
For the entire collection see [Zbl 1398.68023].
For the entire collection see [Zbl 1398.68023].
MSC:
68Q70 | Algebraic theory of languages and automata |
03C05 | Equational classes, universal algebra in model theory |
16Y60 | Semirings |
18B20 | Categories of machines, automata |
18C50 | Categorical semantics of formal languages |
68Q42 | Grammars and rewriting systems |