• GF

  • Referenced in 32 articles [sw13667]
  • Grammatical framework. A type-theoretical grammar formalism. Grammatical Framework (GF) is a special-purpose 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]
  • high-level 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 context-free 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]
  • population-based evolutionary algorithm, where a formal grammar is used in the genotype to phenotype...
  • YAKKER

  • Referenced in 2 articles [sw17046]
  • high-level 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 two-level grammars, the rule formalism, and the user interface to the compiler ... development of a two-level 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 ... multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition...
  • PHORA

  • Referenced in 3 articles [sw08003]
  • parser, which uses the grammatical formalism Lexical-Functional Grammars (LFG). The system uses the Specification...
  • LIGHT

  • Referenced in 3 articles [sw02357]
  • parsing with typed-unification grammars. We overview both its formal definition, as a logic language...
  • GraCAD

  • Referenced in 1 article [sw01758]
  • graph-based knowledge representation techniques and graph grammars as offered by the system PROGRES. Preliminary ... ArchiCAD add-on 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 ... context-free graph grammar whose productions are defined to formalize the graph-syntax 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, context-free grammar, RNAFeatures*, capable of generating any RNA structure ... structures of genus zero. RNAFeatures* acts on formal, arc-labeled RNA secondary structures, called ... free. RNAFeatures* is an extension of the grammar for secondary structures and employs an enhancement...