您的位置： 专家智库 > >

靳阳

作品数：2 被引量：0H指数：0
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇向量
  • 2篇向量加法
  • 1篇信息保存
  • 1篇拟序

机构

  • 2篇上海交通大学

作者

  • 2篇靳阳
  • 1篇李国强
  • 1篇蔡小娟

传媒

  • 1篇上海交通大学...

年份

  • 2篇2015
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
良结构下推系统的表达能力
2015年
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.
靳阳蔡小娟李国强
良结构下推系统的表达能力
良结构下推系统是将状态集和栈字符集都扩展为良拟序集的下推系统，它是一个一般化的模型，一个自然的问题是良结构下推系统的表达能力有多强。向量加法系统是一个应用广泛的模型，本文着重研究向量加法系统的三个扩展系统与良结构下推系统...
靳阳
关键词：信息保存
全选 清除 导出
共1页<1>
聚类工具0