go top

model of a formal theory

网络释义

  形式理论模型

形式理论模型

基于1个网页-相关网页

有道翻译

model of a formal theory

形式理论的模型

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.

    借助于归纳推理局部合理性推论,本文修正常见单调逻辑的推理模式从而提出了一种新的在演绎框架实现归纳推理的形式方法

    youdao

  • First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.

    本文走从语言文字描述至符号化到形式化的崭新道路,首先一般性智能控制系统提出建造结构模型,然后利用形式语言理论将结构模型推导成了上下文无关文法。

    youdao

  • This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).

    形式概念分析是从形式背景基本数据形式开始,因此形式背景的规模是影响概念格构造和应用的一个重要因素。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定