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 |
