Searching for "Context-free grammars in Greibach normal forms." – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
