·2,447,543篇论文数据，部分数据来源于NoteExpress
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
youdao
应用推荐
模块上移
模块下移
不移动