首页> 外文会议>Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing >A useful device for showing the solvability of some decision problems
【24h】

A useful device for showing the solvability of some decision problems

机译:用于显示某些决策问题可解性的有用设备

获取原文
获取外文期刊封面目录资料

摘要

We look at a restricted model of a multihead pushdown automaton and use some of its properties to show the existence of algorithms for some decision problems concerning code sets and vector addition systems.

机译:

我们研究了一个多头下推自动机的受限模型,并利用其某些属性来说明有关代码集和向量加法系统的某些决策问题的算法的存在。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号