作　　者： ;

机构地区： 暨南大学信息科学技术学院数学系

出　　处： 《暨南大学学报：自然科学与医学版》 1982年第1期

摘　　要： <正> 本文作者曾于去年发表了有关操作系统理论模型的文章,该文仅仅是作者在操作系统理论研究方面的一个尝试。现在,想在本文中对该文作进一步的推进。该文谈到,可以把进程(任务)看作是一个具有k个值的函数。现在我们更仔细地探讨它。进程的静态存在无非是程序。我们假设这一程序本身不包含错误,也假设硬件或整个系统本身不包含错误。于是,进程在系统中所经历的状态(值)的变化,便仅仅受其资源的影响,或者说仅仅是资源的函数。注意:这里我们所说的进程状态,指的是其宏观的状态,而不是它内部的特性。

关 键 词： 理论模型 系统理论研究 多重集合 状态空间 读卡机 文谈 自动机 挂起状态 状态集合 输出集