7 search results - page 2 / 2 » A Formalisation of the Normal Forms of Context-Free Grammars... |
ACL
2004
13 years 6 months ago
2004
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...