Context-free coalgebras

https://doi.org/10.1016/j.jcss.2014.12.004Get rights and content
Under an Elsevier user license
open archive

Abstract

In this article, we provide a coalgebraic account of parts of the mathematical theory underlying context-free languages. We characterize context-free languages, and power series and streams generalizing or corresponding to the context-free languages, by means of systems of behavioural differential equations; and prove a number of results, some of which are new, and some of which are new proofs of existing theorems, using the techniques of bisimulation and bisimulation up to linear combinations. Furthermore, we establish a link between automatic sequences and these systems of equations, allowing us to, given an automaton generating an automatic sequence, easily construct a system of behavioural differential equations yielding this sequence as a context-free stream.

Keywords

Context-free languages
Formal grammars
Bisimulation
Automatic sequence
Automata theory
Universal coalgebra

Cited by (0)