位置：成果数据库 > 会议 > 会议详情页
基于量子逻辑的下推自动机的代数刻画
  • 所属机构名称：陕西师范大学
  • 会议名称：计算机工程与科学（2008中国计算机学会理论计算机科学年，西安，2008.9.19-21），30（11）(2008), 72-74
  • 成果类型：会议
  • 相关项目：格上拓扑学及其在不确定特征的形式化研究中的应用
同会议论文项目
格上拓扑学及其在不确定特征的形式化研究中的应用
期刊论文 99 会议论文 11
同项目会议论文
双向有穷自动机与模糊双向有穷自动机
Some results of fuzzy Turing machines
Approximation property of fuzzy finite automata
格值正则语言截集的代数性质
格值树自动机与格值上下文无关树文法的等价性
基于量子逻辑的确定型正则语言的代数性质
直觉模糊有穷自动机的互模拟关系
直觉模糊下推自动机
Fuzzy finite automata and monadic second-order fuzzy logic
Approximation property of fuzzy context-free grammars