Grammatical Framework

Description

GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is

  • a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages

  • a functional programming language, like Haskell, Lisp, OCaml, SML, Scheme, but specialized to grammar writing

  • a development platform for natural language grammars, like LKB, XLE, Regulus, but based on functional programming and type theory

  • a categorial grammar formalism, like ACG, CCG, but specialized for multilingual grammars,

  • a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic

  • a platform for machine translation, like Moses, Apertium, but based on deep structural analysis (and usually applied for limited fragments of language).

    GF has an interactive command interpreter, as well as a batch compiler. Grammars can be compiled to parser and translator code in many different formats. These components can then be embedded in applications written in other programming languages. The formats currently supported are:

    Haskell Java, in particular the Android platform JavaScript Speech recognition: HTK/ATK, Nuance, JSGF

Learning Resource


Backlinks