LIGHT - A constraint language and compiler system for typed-unification grammars. This work presents LIGHT, a feature constraint language for deduction-based bottom-up parsing with typed-unification grammars. We overview both its formal definition, as a logic language operating bottom-up inferences over OSF-terms, and its implementation -- an elegant combination of a virtual machine for head-corner parsing and an extended abstract machine for feature structure unification.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Ciortuz, Liviu: Inductive learning of attribute path values in typed-unification grammars (2003)
- Ciortuz, Liviu: A framework for inductive learning of typed-unification grammars (2002)
- Ciortuz, Liviu: LIGHT -- A constraint language and compiler system for typed-unification grammars (2002)