排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
DOSFGS中的语义子系统 总被引:1,自引:0,他引:1
分布式OS形式化生成系统模型(DOSFGS)主要由文法部分DOSFSG和语义子系统DOSFSS组成.其中DOSFSG采用了上下文无关文法(CFG)。DOSFSS则是一个带操作集的语义子系统,DOSFGS按照抽象、描述和细化三个步骤自动模拟生成用户所需的分布式OS。本文主要讨论其中的语义子系统DOSFSS的设计思想、操作集及其定义及基本工作流程等。 相似文献
1