An adaptive grammar is a formal grammar that explicitly provides mechanisms within the formalism to allow its own production rules to be manipulated.
1 Answers 1 viewsA definite clause grammar is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. It is closely related to the...
1 Answers 1 viewsHigher-order programming is a style of computer programming that uses software components, like functions, modules or objects, as values. It is usually instantiated with, or borrowed from, models of computation...
1 Answers 1 viewsIndexed grammars are a generalization of context-free grammars in that nonterminals are equipped with lists of flags, or index symbols.The language produced by an indexed grammar is called an indexed...
1 Answers 1 viewsGeneralized context-free grammar is a grammar formalism that expands on context-free grammars by adding potentially non-context-free composition functions to rewrite rules. Head grammar is an instance of such a GCFG...
1 Answers 1 viewsIn formal grammar theory, the deterministic context-free grammars are a proper subset of the context-free grammars. They are the subset of context-free grammars that can be derived from deterministic pushdown...
1 Answers 3 viewsIn theoretical computer science and formal language theory, a regular tree grammar is a formal grammar that describes a set of directed trees, or terms. A regular word grammar can...
1 Answers 1 viewsIn linguistics, the affix grammars over a finite lattice formalism is a notation for context-free grammars with finite set-valued features, acceptable to linguists of many different schools. The AGFL-project aims...
1 Answers 1 viewsApplicative universal grammar, or AUG, is a universal semantic metalanguage intended for studying the semantic processes in particular languages. This is a linguistic theory that views the formation of phrase...
1 Answers 1 viewsPregroup grammar is a grammar formalism intimately related to categorial grammars. Much like categorial grammar , PG is a kind of type logical grammar. Unlike CG, however, PG does not...
1 Answers 1 views