Coalgebraic Characterizations of Context-Free Languages
In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final coalgebra semantics then gives an interpretation function int...
Main Authors: | Joost Winter, Jan J. M. Rutten, Marcello M. Bonsangue |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2013-09-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/739/pdf |
Similar Items
-
Generalizing determinization from automata to coalgebras
by: Alexandra Silva, et al.
Published: (2013-03-01) -
Non-Deterministic Kleene Coalgebras
by: Alexandra Silva, et al.
Published: (2010-09-01) -
Rational streams coalgebraically
by: J. J. M. M. Rutten
Published: (2008-09-01) -
Bases as Coalgebras
by: Bart Jacobs
Published: (2013-09-01) -
Coalgebraic Behavioral Metrics
by: Paolo Baldan, et al.
Published: (2018-09-01)