J.勒鲁；M.Praveen；Schnoebelen博士；G.苏特雷-关于下推Petri网及其相关的弱可计算函数系统

lmcs:5362-计算机科学中的逻辑方法，2019年12月18日，第15卷第4期-https://doi.org/10.23638/LMCS-15(4:15)2019
关于下推Petri网及其相关的弱可计算函数系统第条

作者：J.Leroux；M.Praveen；Schnoebelen博士；G.苏特雷

    我们考虑通过文法控制弱可计算的数值函数向量加法系统（GVASes，下推Petri网的变体）。GVAS可以弱计算所有快速增长函数$F_\alpha$$\alpha<\omega^\omega$，因此它们的计算能力比标准矢量加法系统。另一方面，他们不能弱计算逆$F_\alpha^{-1}$或任何次线性函数。证据依据关于独立关注的GVAS运行的泵引理。

    https://doi.org/10.23638/LMCS-15(4:15)2019
    资料来源：arXiv.org:1904.04090
    第15卷第4期
    发布日期：2019年12月18日
    验收日期：2019年11月26日
    提交日期：2019年4月9日
    关键词：计算机科学-形式语言和自动机理论，计算机科学-计算机科学中的逻辑
    许可证：归因4.0国际（CC BY 4.0）
    基金：
      来源：OpenAIRE Graph
    • VASSES和井结构系统的理想算法; 资助者：法国国家研究局（ANR）；代码：ANR-17-CE40-0028

    共享和导出

    咨询统计

    此页面已被浏览1231次。
    本文的PDF已经下载了195次。