咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学
  • 2 篇 工学
    • 2 篇 计算机科学与技术...

主题

  • 2 篇 双幺赋值幺半群
  • 1 篇 量化上下文无关语...
  • 1 篇 加权上下文无关语...
  • 1 篇 量化上下文无关文...
  • 1 篇 量化下推自动机
  • 1 篇 加权下推自动机
  • 1 篇 赋值幺半群

机构

  • 2 篇 陕西师范大学

作者

  • 2 篇 付雯静
  • 2 篇 韩召伟

语言

  • 2 篇 中文
检索条件"主题词=双幺赋值幺半群"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
取值于赋值幺半群的加权下推自动机的代数性质
收藏
分享
引用
陕西师范大学学报（自然科学版） 2017年 第3期45卷 9-16页
作者： 付雯静 韩召伟 陕西师范大学数学与信息科学学院 陕西西安710119
引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cau... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
量化上下文无关语言的代数性质
收藏
分享
引用
计算机科学 2017年 第7期44卷 57-60,88页
作者： 付雯静 韩召伟 陕西师范大学数学与信息科学学院 西安710119
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件