
GF
 Referenced in 32 articles
[sw13667]
 Grammatical framework. A typetheoretical grammar formalism. Grammatical Framework (GF) is a specialpurpose functional ... notation for defining concrete syntax. GF grammars themselves are purely declarative, but can be used ... parsing strings. GF can describe both formal and natural languages. The key notion of this ... gender in natural languages, or precedence in formal languages. Grammatical objects have a type system...

PCOMP
 Referenced in 21 articles
[sw00688]
 described in terms of a formal grammar and is a subset of Fortran with...

AToM3
 Referenced in 32 articles
[sw10092]
 rewriting techniques and graph grammars to perform the transformations between formalisms as well...

ADL
 Referenced in 9 articles
[sw07257]
 highlevel language that provides a formal grammar for the expression of programmatic assertions...

TRX
 Referenced in 9 articles
[sw08800]
 using parsing expression grammars (PEGs), a formalism essentially representing recursive descent parsing, which we consider ... attractive alternative to contextfree grammars (CFGs). From this formalization we can extract a parser ... respect to its grammar and the semantics of PEGs; both properties formally proven...

DECKARD
 Referenced in 7 articles
[sw09181]
 applicable to any language with a formally specified grammar...

PonyGE2
 Referenced in 3 articles
[sw21388]
 populationbased evolutionary algorithm, where a formal grammar is used in the genotype to phenotype...

YAKKER
 Referenced in 2 articles
[sw17046]
 highlevel semantics for our new grammar formalization and show how to compile grammars into...

RubiksCubeGeneticAlgorithmsSolver
 Referenced in 1 article
[sw38923]
 minimal cube’s grammar. By building formal grammar sentences with the usage ... genetic algorithms for example) set of formal grammar sentences can be represented as population individuals...

TWOLC
 Referenced in 4 articles
[sw04101]
 format of twolevel grammars, the rule formalism, and the user interface to the compiler ... development of a twolevel grammar...

CDG LAB
 Referenced in 2 articles
[sw14626]
 uses the Categorial Dependency Grammars (CDG) as a formal model of dependency grammars...

JFLAP
 Referenced in 12 articles
[sw10334]
 JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown ... multitape Turing machines, several types of grammars, parsing, and Lsystems. In addition...

PHORA
 Referenced in 3 articles
[sw08003]
 parser, which uses the grammatical formalism LexicalFunctional Grammars (LFG). The system uses the Specification...

LIGHT
 Referenced in 3 articles
[sw02357]
 parsing with typedunification grammars. We overview both its formal definition, as a logic language...

GraCAD
 Referenced in 1 article
[sw01758]
 graphbased knowledge representation techniques and graph grammars as offered by the system PROGRES. Preliminary ... ArchiCAD addon and the formalism of graph grammars seems to be useful in aiding...

Logichart
 Referenced in 1 article
[sw01253]
 layout rules are formalized in terms of an attribute graph grammar. This grammar is underlain ... contextfree graph grammar whose productions are defined to formalize the graphsyntax rules ... been implemented based on the attribute graph grammar, can draw a Logichart diagram...

Ruler
 Referenced in 2 articles
[sw33691]
 presentation of formal aspects, and (2) an attribute grammar based implementation. Combining these two aspects...

Juggrnaut
 Referenced in 1 article
[sw13410]
 hyperedge replacement grammars. We will show that this is a very natural formalism for modelling...

Gql
 Referenced in 1 article
[sw38944]
 language itself. In our approach for formalization we abstract from the world of graphics ... grammar is used in conjunction with the previous definitions for specifying in a single formalism...

TPstructure
 Referenced in 3 articles
[sw23814]
 paper we introduce a novel, contextfree grammar, RNAFeatures*, capable of generating any RNA structure ... structures of genus zero. RNAFeatures* acts on formal, arclabeled RNA secondary structures, called ... free. RNAFeatures* is an extension of the grammar for secondary structures and employs an enhancement...