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.
展开▼
