您的位置： 专家智库 > >

付雯静

作品数：2 被引量：1H指数：1
供职机构：陕西师范大学数学与信息科学学院更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金陕西省教育厅自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇代数
  • 2篇代数性质
  • 2篇上下文
  • 2篇上下文无关语...
  • 2篇幺半群
  • 2篇半群
  • 1篇上下文无关文...
  • 1篇自动机
  • 1篇下推自动机
  • 1篇加权

机构

  • 2篇陕西师范大学

作者

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

传媒

  • 1篇陕西师范大学...
  • 1篇计算机科学

年份

  • 2篇2017
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
取值于赋值幺半群的加权下推自动机的代数性质被引量：1
2017年
引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。
付雯静韩召伟
量化上下文无关语言的代数性质被引量：1
2017年
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
付雯静韩召伟
全选 清除 导出
共1页<1>
聚类工具0