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

摘要

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