自动机风格在函数式操作系统设计中的应用

THE APPLICATION OF AUTOMATA STYLE IN FUNCTIONAL OPERATING SYSTEM DESIGN

本文通过对几种函数武操作系统(简称为FCS)模型的分析,并用统一的自动机观点来阐明彼此之间的联系和本质,从而表明,基于自动机风格的FFP 程序设计方法论是FOS 设计的重要策略,将FOS 描述成分层结构化、作用式的自动机网是范畴风格的设计在新一代语言操作系统中的体现。

Through the analysis of three Functional Operating System(FOS)models,this paper states their nature and the relationships among them.Weconclude with the following points:The FFP programming methodology based on automata style is an importantstrategy of FOS design.To the operating system design in new generation language,it stands for the category style that describes FOS into hierarchical strcutured,applicative automata network.