...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Formal Methods in System Design >Abstractions of Random Finite-State Machines
【24h】

Abstractions of Random Finite-State Machines

机译：随机有限状态机的抽象

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Suppose that M is a large, complex finite-state system (fsm), and we want to construct a smaller model of it. A way of doing so, independent of any special properties that M might have, is to partition its states, inputs, and outputs into classes, collectively referred to as an abstraction. Since abstractions map many fsms into a non-deterministic machine defining an indistinguishability class, given a particular M, an optimal abstraction will minimize the size of this class. Algorithms for constructing such abstractions have been investigated in previous work.
机译：假设M是一个大的，复杂的有限状态系统（fsm），我们想为其构建一个较小的模型。一种与M可能具有的任何特殊属性无关的方法是将其状态，输入和输出划分为多个类，这些类统称为抽象。由于抽象将许多fsms映射到定义了不可区分性类别的不确定机器中，因此，给定特定的M，最佳抽象将最小化此类的大小。在先前的工作中已经研究了构造这种抽象的算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号