可判定的问题
基于1个网页-相关网页
partially decidable problem 部分可解问题
effectively decidable problem 有效可判定问题
decidable problem of degrees structure 度结构的判定问题
decidable problem
可决定的问题
以上为机器翻译结果，长、整句建议使用 人工翻译 。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
使用了功能合一语法对描述系统，对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
youdao
应用推荐
模块上移
模块下移
不移动