自动机运用实例综述.docx

形式语言与自动机运用实例 潘主强 学号：201421000558 形式语言与自动机理论来源于 Chomsky对自然语言的研究和 ALGOL60语言的语法描述方式。形式语言与自动机理论主要用于： 1) 给出语言的语法描述方式； 2) 由文法得到的正文符合文法规范的句子； 3) 通过程序的词法分析得到编译器所需的结构分析； 4) 通过二义性检查来保证程序被计算机接受的唯一分析。 ? 确定有限自动机在BBS信息监测系统中的运用 ? 不确定有限自动机（DNA）基因网络中的应用 确定有限自动机在BBS信息监测系统中的运用 ? 确定的有限自动机（DFA） 定义：确定的有限自动机（DFA）是一个五元组 M=（Q, Σ, δ,q0,F） 其中 Q:有限状态集, Σ:字母表,q0∈Q是初始状态,F? Q是终止状态集, δ: Q × EàQ 称为状态转换函数。 ? 电子公告栏系统相关介绍： 电子公告栏系统(Bulletin Board System， 简称BBS)又称电子布告栏系统，它来源于Linux的FireBird系统，它是建立在互联网上， 面向公众， 提供发布公共消息、聊天、信件服务等功能， 满足用户获取信息、交流情感等要求的信息服务系统。 BBS信息监测系统主要是针对当前BBS系统中出现危害国家安全、社会稳定而开发的能过滤BBS中的机密、敏感、不良信息的系统。