惰性女人
发表于 2025-3-30 09:31:37
http://reply.papertrans.cn/63/6281/628025/628025_51.png
支架
发表于 2025-3-30 13:43:27
LIGHT — A Constraint Language and Compiler System for Typed-Unification Grammars 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.