...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Chinese Journal of Electronics >An Automata-Theoretic Approach to
【24h】

An Automata-Theoretic Approach to

机译：自动机理论方法

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

摘要

Translating computation tree logic formulas into Buchi tree automata has been proven to be an effective approach for implementing branching-time model checking. For a more generalized class of lattice-valued (L-valued, for short) computation tree logic formulas, the revelent study has not proceeded yet. We introduce the notion of L-valued alternating Buchi tree automata and achieve the goal of associating each L-valued computation tree logic formula with an L-valued Buchi tree automaton. We show that a satisfiability problem for an L-valued computation tree logic formula can be reduced to one for the language accepted by an L-valued Buchi tree automaton. L-valued alternating Buchi tree automata are the key to the automata-theoretic approach to L-valued computation tree logics, and we also study their expressive power and closure properties.
机译：将计算树逻辑公式转换为Buchi树自动机已被证明是实现分支时间模型检查的有效方法。对于更广义的一类晶格值（简称L值）计算树逻辑公式，尚未进行全面的研究。我们介绍了L值交替Buchi树自动机的概念，并实现了将每个L值计算树逻辑公式与L值Buchi树自动机相关联的目标。我们表明，对于L值Buchi树自动机接受的语言，L值计算树逻辑公式的可满足性问题可以简化为一个。 L值交替Buchi树自动机是L值计算树逻辑的自动机理论方法的关键，我们还研究了它们的表达能力和闭合性质。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号