Sciweavers

CALCO
2005
Springer
126views Mathematics» more  CALCO 2005»
13 years 10 months ago
Context-Free Languages via Coalgebraic Trace Semantics
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
Ichiro Hasuo, Bart Jacobs