使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
应用推荐