学科分类 - 《中国大百科全书》第三版网络版

高级搜索

专业板块专题板块大众板块

总分类

返回总分类

首页

形式模型/ formal model // formal model /

用于描述计算的数学模型。

ω自动机/ ω-automata /ω-automata
形式模型
识别无穷字符串的一种抽象计算模型。
下推自动机/ pushdown automata /pushdown automata
形式模型
自动机理论中定义的一种抽象计算模型。可理解为带栈的有限状态自动机。
概率自动机/ probabilistic automata /probabilistic automata
形式模型
在非确定自动机的基础上，通过在迁移目标中引入概率分布而获得的一种扩展。由以色列数学家和计算机科学家M.O.拉宾[注]（Michael Oser Rabin，1931-09-01～）于1963年引入。
克里普克结构/ Kripke structure /Kripke structure
形式模型
针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～）于1963年提出。