您的位置： 专家智库 > >

韩召莹

作品数：1 被引量：1H指数：1
供职机构：西安石油大学理学院更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇上下文
  • 1篇上下文无关语...
  • 1篇逻辑值
  • 1篇LUKASI...

机构

  • 1篇西安石油大学
  • 1篇陕西师范大学

作者

  • 1篇韩召伟
  • 1篇韩召莹

传媒

  • 1篇计算机工程与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Lukasiewicz逻辑值上下文无关语言的代数刻画被引量：1
2011年
提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。
韩召伟韩召莹
全选 清除 导出
共1页<1>
聚类工具0