• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>SOFSEM 2009: Theory and practice of computer science >Event-Clock Visibly Pushdown Automata
【24h】

Event-Clock Visibly Pushdown Automata

机译：事件时钟可见下推自动机

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

摘要

We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-time pushdown systems and, on the other hand, is determinizable and closed under Boolean operations. We also show that for a timed visibly pushdown automaton A and an ECVPA B, the inclusion problem L(A) is contained in L(B) is decidable.
机译：我们将事件时钟可见下推自动机（ECVPA）类作为事件时钟自动机的扩展而引入。 ECVPA的类别一方面可以对简单的实时下推系统进行建模，另一方面可以在布尔运算下确定并关闭。我们还表明，对于定时可见的下推自动机A和ECVPA B，包含问题L（A）包含在L（B）中是可以确定的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号