Search

• < Previous
• 1
• Next >

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&nbsp;[&hellip;]