Results 211 to 220 of about 17,181 (262)
Some of the next articles are maybe not open access.
Context-Free Categorical Grammars
2009We define generic categorical notions of rewriting and grammar, using two basic operations, pullback and pushout, and show that these categorical grammars are intrinsically context-free in the sense of Courcelle. We then specialise to various settings, including classical word grammars, hyperedge replacement grammars or node-replacement grammars.
Ly, Olivier, Bauderon, Michel, Chen, Rui
openaire +2 more sources
Grammars, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2016
In this chapter the authors introduce context-free grammars, and they explain grammars for expressions.
Wolfgang J. Paul +3 more
openaire +1 more source
In this chapter the authors introduce context-free grammars, and they explain grammars for expressions.
Wolfgang J. Paul +3 more
openaire +1 more source
Length Synchronization Context-Free Grammars
2004We propose a new type of regulation on the derivation of a context-free grammar: the productions used for passing from a level of a derivation tree to the next level should have the right-hand members of the same length. We prove that such length synchronized context-free grammars characterize the family of ET0L languages, and therefore are equivalent ...
Madhu, Mutyam, Krithivasan, Kamala
openaire +2 more sources
2011
In the compilation of source programs, the second phase of the process is the syntactical analysis. Based on the lexical analysis, the syntactical analysis checks the correctness of the source programs in terms of the grammar of the language used. And it is well-known that most of the properties of the programming languages are context-free. Therefore,
Yunlin Su, Song Y. Yan
openaire +1 more source
In the compilation of source programs, the second phase of the process is the syntactical analysis. Based on the lexical analysis, the syntactical analysis checks the correctness of the source programs in terms of the grammar of the language used. And it is well-known that most of the properties of the programming languages are context-free. Therefore,
Yunlin Su, Song Y. Yan
openaire +1 more source
1984
A context-free grammar is a collection of context-free phrase structure rules. Each such rule names a constituent type and specifies a possible expansion thereof. The standard notation is: $$ {\rm{lhs}}\,\, \to \,\,{\rm{rh}}{{\rm{s}}_{\rm{1}}}\,\,.\,\,.\,\,.\,\,{\rm{rh}}{{\rm{s}}_{\rm{n}}} $$ where lhs names the constituent, and rhs1 through ...
Alan Bundy, Lincoln Wallen
openaire +1 more source
A context-free grammar is a collection of context-free phrase structure rules. Each such rule names a constituent type and specifies a possible expansion thereof. The standard notation is: $$ {\rm{lhs}}\,\, \to \,\,{\rm{rh}}{{\rm{s}}_{\rm{1}}}\,\,.\,\,.\,\,.\,\,{\rm{rh}}{{\rm{s}}_{\rm{n}}} $$ where lhs names the constituent, and rhs1 through ...
Alan Bundy, Lincoln Wallen
openaire +1 more source
Pullback Grammars Are Context-Free
2008Following earlier work on pullback rewriting, we describe here the notion of graph grammar relevant to our formalism. We then show that pullback grammars are context-free and provide a surprising example, namely the context-free generation of square grids.
Ly, Olivier, Chen, Rui, Bauderon, Michel
openaire +2 more sources
Attributed Context-Free Hypergraph Grammars
1998Journal of Automata, Languages and Combinatorics, Volume 3, Number 2, 1998, 105 ...
Maneth, Sebastian, Vogler, Heiko
openaire +2 more sources
Acta Informatica, 1994
A text is a triple \(\tau=(\lambda,\rho_ 1,\rho_ 2)\) such that \(\lambda\) is a labeling function, and \(\rho_ 1\) and \(\rho_ 2\) are linear orders on the domain of \(\lambda\); hence \(\tau\) may be seen as a word \((\lambda,\rho_ 1)\) together with an additional linear order \(\rho_ 2\) on the domain of \(\lambda\). The order \(\rho_ 2\) is used to
Ehrenfeucht, A. +2 more
openaire +2 more sources
A text is a triple \(\tau=(\lambda,\rho_ 1,\rho_ 2)\) such that \(\lambda\) is a labeling function, and \(\rho_ 1\) and \(\rho_ 2\) are linear orders on the domain of \(\lambda\); hence \(\tau\) may be seen as a word \((\lambda,\rho_ 1)\) together with an additional linear order \(\rho_ 2\) on the domain of \(\lambda\). The order \(\rho_ 2\) is used to
Ehrenfeucht, A. +2 more
openaire +2 more sources
Predictors of Context-Free Grammars
SIAM Journal on Computing, 1980A predictor of a context-free grammar G is a substring of a sentence in $L(G)$ which determines unambiguously the contents of the parse stack immediately before (in top-down parsing) or after (in bottom-up parsing) symbols of the predictor are processed.
openaire +2 more sources