Sciweavers

3440 search results - page 6 / 688
» Logics For Context-Free Languages
Sort
View
CALCO
2005
Springer
126views Mathematics» more  CALCO 2005»
15 years 3 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
WIA
2007
Springer
15 years 3 months ago
Efficient Computation of Throughput Values of Context-Free Languages
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, ...