双向有穷自动机与模糊双向有穷自动机-期刊.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)Systems Fuzzy September 双向有穷自动机与模糊双向有穷自动机 杨春志1李永明2 (1．陕西师范大学数学与信息科学学院，西安710062； 2．陕西师范大学计算机科学学院，西安710062) 摘要：本文给出了经典双向有穷自动机的即时描述，接受(识别)的语言及双向有穷自动 机和有穷自动机是等价的，证明了它接受的语言是正则语言．由此，我们把它推广到模糊上去， 相应的给出了模糊双向有穷自动机的定义，即时描述及其接受的语言，进一步证明了非确定性 模糊双向有穷自动机与确定模糊双向有穷自动机接受的语言是等价的． 关键词： 非确定性(模糊)双向有穷自动机；确定·|生(模糊)双向有穷自动机；即时描述； 正则语言；等价 中图分类号：0235；0153．1文献标识码：A §1 引言 有穷自动机(FA)是许多重要类型的硬件和软件的有用模型，作为计算理论，它是 最简单的数学模型，它的应用已涉及到数字电路的设计，性能检测软件，通信协议和安 L 全交换信息的协议的验证，神经网络等许多方面．自从zadeh A．1965年提出Fuzzy 集合理论后，1969年，WeeW．G．利用模糊的方法研究了自动机理论[ir,lsl．模糊自 动机(FFA)为计算理论提供了一种研究和处理包含模糊性自然语言的有利工具．文 中相应的给出过其定义，文献[15】介绍了2FA接受的补语言，文献【161介绍了非确定 性双向一元自动机向单向自动机的变换，在文献[21】中我们更详细的了解到模糊自动 机定义及代数性质，在文献【10】中介绍的模糊图灵机为本文做了很好的铺垫．本文从 确定性双向有穷自动机(2DFA)接受的语言是正则语言，给出接受的模糊语言的定义， 由经典中双向有穷自动机与单向有穷自动机的等价性，从模糊化的程度上讨论了非确 是等价的． 1收稿日期：2006-06-14． 作者简介：杨春志(1979)，男，湖北鹤峰人，陕西师范大学硕士研究生，研究方向：计算智能；李永 明，男，陕西师范大学教授，博士研究生导师 基金项目：国家自然科学基金资助项目 194 堡塑墨丝墨垫学 第20卷(增刊) §2 双向有穷自动机 其中，Q是有限状态集，∑是有限输入字母表，d：Q 是转移函数，卜，-|不属于E，它们分别为最左和最右结束标志符号，qo∈Q是 初始状态，F∈Q是终止状态(接受状态)集．输入串的存储形式为卜z一，其 在状态q读入字符仃，可以选择地将状态变成P-，同时按d，实现读头的移动；或着将 状态变成P2，同时按如实现对读头的移动，…，或者将状态变成‰，同时按如实现 对读头的移动．dl，d2，…，如∈{厶S，m，其中，L表示向左，s表示不动，R表示向右 移动的方向． 详细给出定义 目的是保证读头不跑出串的所在区域．对所有的符号b∈Eu{卜)，有5(t，b)：(t，冗)， 停留在此状态中而读头指向任一方向． 受状态，r为拒绝状态，∑={O，1，其转移表为 卜 O l — 90 ‰，R) ‰，R) (q0，冗)(m，L) q1 (口2，R)(口l，固 (r，L) 啦 ‰，脚 (眈，R)(r’二) Po (t，R) (po，工)扫l，L) pl (r，R)01，L)