资源描述：
《自动机运用实例》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、.-形式语言与自动机运用实例主强学号：202121000558形式语言与自动机理论来源于Chomsky对自然语言的研究和ALGOL60语言的语法描述方式。形式语言与自动机理论主要用于：1)给出语言的语法描述方式；2)由文法得到的正文符合文法规的句子；3)通过程序的词法分析得到编译器所需的构造分析；4)通过二义性检查来保证程序被计算机承受的唯一分析。§确定有限自动机在BBS信息监测系统中的运用§不确定有限自动机〔DNA〕基因网络中的应用确定有限自动机在BBS信息监测系统中的运用§确定的有限自动机〔DFA〕定义：确定的有限自
2、动机〔DFA〕是一个五元组M=〔Q,Σ,δ,q0,F〕其中Q:有限状态集,Σ:字母表,q0∈Q是初始状态,F⊆Q是终止状态集,δ:Q×EàQ称为状态转换函数。-.word.zl.-§电子公告栏系统相关介绍：电子公告栏系统(BulletinBoardSystem，简称BBS)又称电子布告栏系统，它来源于Linux的FireBird系统，它是建立在互联网上，面向公众，提供发布公共消息、聊天、信件效劳等功能，满足用户获取信息、交流情感等要求的信息效劳系统。BBS信息监测系统主要是针对当前BBS系统中出现危害国家平安、社会稳定而
3、开发的能过滤BBS中的、敏感、不良信息的系统。系统采用自动机的理论，创立匹配信息树，对信息进展分析、处理。对于有限自动机A，对于待监测的字符串S=S1S2…Sn，初始时，有限自动机A处于开场状态a0，从左至右逐个扫描字符串S；在δ(a0,s1)＝a1的作用下，有限自动机A处于状态a1；在(a1,s2)＝a2的作用下，有限自动机A处于状态a2…。当扫描进入某一个特定的接收状态，即为检测到某不良信息。当扫描完毕，假设接收机处于初始状态，那么说明该字符串未有不良信息存在。-.word.zl.-建立在BBS效劳器上的系统采用一个
4、比较小的词典在BBS系统后台运行，直接对出现的明显的、反动字眼进展删除。建立在终端上的系统实时的对BBS系统进展检测，一旦发现问题，可以立即报告。而建立在备份效劳器上的系统对整个系统进展完全的、彻底的检查。这样的方式最大限度防止了各自的问题，发挥了各自的优点。检测系统中运用形式语言与自动机理论，使用有限状态接收机模型，BBS信息监测系统对照监测字典中的字符信息，对文本容进展分析、匹配，获取监测结果。§成效：-.word.zl.-系统具有3个模块，分别为效劳器后台监控组件、终端实时监控组件、备份效劳器完全检测组件。通过对三
5、个组件的结合使用，BBS信息监测系统到达效劳器负荷10％以下，终端监测系统负荷在30％以下。不良信息平均监测时间30s，命中率在90％以上。系统在实践中对BBS系统的信息进展监测，得到了良好的效果，对敏感信息的分析、监测，都到达了系统设计的要求，BBS站的管理中发挥了重要作用。定义：不确定型的有限自动机〔NFA〕是一个五元组M=〔Q,Σ,δ,q0,F〕其中Q:有限状态集,Σ:字母表,q0∈Q是初始状态,F⊆Q是终止状态集,δ状态转换函数.背景：基因调节机制是一个非常复杂的过程。生物信号通过一对一的调节机制逐渐地被转移和扩
6、散到下游基因，从而到达调控基因表达的目的。从细胞生物学的观点来看，基因表达水平影响基因调节过程。在不同的基因调节机制下，基因表达水平的表达水平也不尽一样。正常细胞中的基因通过多步调节机制来控制细胞生长、差异、重生和细胞凋亡过程。癌症是由于许多外界因素导致基因调节机制的改变。基于传统的观点，基因的调节状态可以被简化地归为激活和抑制两类。传统电子计算机产生的随机数是伪随机数，因而其随机算法不是严格意义上的随机计算。由于生化反响的随机性，随机分子生物计算机比确定性分子生物计算机更适合解决随机性问题。将不确定DNA有限状态自动机
7、应用于基因表达网络，分析基因表达网络的不确定性，给出了不确定DNA有限状态自动机各组成局部编码的形式描述。-.word.zl.-DNA计算机是分子围的可编程计算机，其输入、输出、软件和硬件都由生物分子构成。DNA计算机有望以一种生物分子在的形式来直接分析生物信息学问题，而不需要转换成电子计算机的信号。2004年，Benenson等人就设计了确定性DNA自动机用于疾病体外分子诊断。通过对疾病分子信标的识别和分析，一种预先编程的称作分子药物的反义DNA链会释放，以破坏疾病基因的表达。由于分子生物系统固有的随机性，随机分子生物
8、计算机比这种确定性分子生物计算机可能更适合解决这类问题。为了搞清基因表达之间的相互制约关系，科学家采用了其有正〔positive〕、负〔negative〕控制的基因网络的一个形式化模型-有限状态自动机。具体地讲，基因被激活后，将在一段时间后出现产生物蛋白质；基因被抑制后，在一段时间后停顿出现蛋白质。如果把单个基因的状
