Searching for "Context-free grammars in Greibach normal forms." – sorted by Relevance.
-
Greibach Normal Form Transformation, Revisited
- develop a new method for placing a given context-free grammar into Greibach normal form with only
- Cited by 9 (0 self) – Add To MetaCart
-
Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete
- by fast algorithms [11, 9]. Context-free grammars, in Greibach normal form, can beviewed as generators
- Add To MetaCart
-
Extended Context-Free Grammars and Normal Form Algorithms
- . 3.4 Greibach form The original normal form result for context-free grammars was established
- Cited by 3 (2 self) – Add To MetaCart
-
Normal Form Algorithms for Extended Context-Free Grammars
- . An extended context-free grammar is in Greibach normal form if its productions are of only the following form
- Cited by 11 (2 self) – Add To MetaCart
-
Transition Diagram Systems and Normal Form Algorithms
- normal form result for context-free grammars was established by Sheila Greibach [11] in the 1960's
- Cited by 1 (1 self) – Add To MetaCart
-
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
- is conveniently described by a context-free grammar in Greibach normal form: the variable on the left of a
- Cited by 4 (1 self) – Add To MetaCart
-
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes
- processes [6], those processes which can be defined by context-free grammars in Greibach normal form
- Cited by 35 (6 self) – Add To MetaCart
-
Faster algorithm for bisimulation equivalence of normed context-free processes
- be seen as a production X −→ aα of a context-free grammar in Greibach normal form. Elements of V
- Cited by 1 (0 self) – Add To MetaCart
-
A modal fixpoint logic with chop
- . Their name derives from the fact that they are induced by leftmost derivations of context-free grammars
- Cited by 12 (0 self) – Add To MetaCart
-
Complexity of Linear Order Computation in Performance Grammar, TAG and HPSG
- gives a context-free grammar 2 . This guarantees, for instance, that the valid dominance structure
- Cited by 4 (3 self) – Add To MetaCart

