Sciweavers

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