...说，缈；三卜-｛4｝P是合式的，则P可以 一直安全执行．TM操作语义使用小步归约语义， 根据基于语法的方法（syntactic approach）［163证明 该定理只需要先证明如下两个引理． 引理1．前进性（progress）．如果gr；三F-｛a） P，那么存在P7，使得P卜P7． 引理2...
基于8个网页-相关网页
根据基于语法的方法
According to the grammar-based approach
以上为机器翻译结果，长、整句建议使用 人工翻译 。
根据OPS83的语法要求，提出了基于OPS83专家系统的知识获取系统的设计思想及实现技术，同时实现了知识库的自动维护方法。
The design idea and the implementation technique of the knowledge acquisition system is put forward based on OPS83, meanwhile the technique of knowledge base maintenance is realized.
youdao
应用推荐
模块上移
模块下移
不移动