有限自动机实例.ppt

基于有限自动机的两个实例 报告人：张宇洋 时间：2014.11.5 什么是有限自动机？ 有限状态自动机（FA -finite automaton )：是为研究有限内存的 计算过程和某些语言类而抽象出的一种计算模型。 有限状态自动机拥有有限数量的状态，每个状态可以迁移到零个或多 个状态，输入字串决定执行哪个状态的迁移。 系统具有有限个状态，不同的状态代表不同的意义。按照实际的需要，系统可以在不同的状态下完成规定的任务。 我们可以将输入字符串中出现的字符汇集在一起构成一个字母表。系统处理的所有字符串都是这个字母表上的字符串。 系统在任何一个状态下，从输入字符串中读入一个字符，根据当前状态和读入的这个字符转到新的状态。 系统中含有开始状态和终止状态。 注：终止状态并不是指一进入这种状态就终止了。而是说，到此为止的字符串作为一个语言的一个句子。 有限状态自动机是具有离散输入和输出的系统的一种数学模型。 其主要特点有： 有限自动机的形式定义： 一般的有限状态自动机(FA)是一个五元组：M=(Q, Σ, δ, q0, F) 其中， Q——状态的非空有穷集合。?q∈Q，q称为M的一个状态。 Σ——输入字母表。输入字符串都是Σ上的字符串。 δ——状态转移函数，有时又叫作状态转换函数或者移动函数， δ：Q×Σ→Q，δ(q,a)=p。 q0——M的开始状态，也可叫作初始状态或启动状态。q0∈Q。 F——M的终止状态集合。F被Q包含。任给q∈F，q称为M的终止状态。 实例一：有限自动机在BBS监测系统中的应用 思路：形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系，利用有限自动机可以对文本信息进行智能化监测，通过对文本的词法分析可以得到系统检测所需要的信息。 BBS：即Bulletin Board System,电子公告栏系统。它是建立在互联网上，面向大众，提供发布公告消息、聊天、信件服务等功能，满足用户获取信息、交流情感等要求的信息服务系统。BBS信息检测系统主要是针对当前BBS中危害国家安全、社会稳定而开发的能过滤BBS中的机密、敏感、不良信息的系统。 知识介绍： 此处，主要是想采用自动机的理论，通过BBS信息监测系统，创建匹配信息树，对信息进行分析、处理。精确命中目标信息，尽量避免误命中。 本实例中所用有限自动机的定义： 本例中的有限状态自动机(FA)是一个四元组：FA=(Q, δ, q0, F) 其中， Q——一个有限状态的集合。?q∈Q，q称为M的一个状态。 δ——状态转移函数，δ：Q×Σ→Q，δ(q,a)=p，代表接收机在状态q时，扫描字符a后到达状态p 。 q0——FA的开始状态，也可叫作初始状态或启动状态。q0∈Q 。 F——FA的终止状态集合。F被Q包含。任给q∈F，q称为M的终止状态。 下面举出具体的例子： 定义有限状态接收机A为： δ (a0,同)=a1 δ (a1,性)=a2 δ (a2,倾)=a3 δ (a3,向)=a4 δ (a2,恋)=a5 δ (a4,好)=a6 δ (a5,好)=a6 假如有如下的待检测字符S1=“我认为同性恋好”和S2=“我认为同性相斥”。 S1的推导如下： δ (a0,我)=a0 δ (a0,认)=a0 δ (a0,为)=a0 δ (a0,同)=a1 δ (a1,性)=a2 δ (a2,恋)=a5 δ (a5,好)=a6 最后处于最终状态a6，表明该字符串检测命中。 S2的推导如下： δ (a0,我)=a0 δ (a0,认)=a0 δ (a0,为)=a0 δ (a0,同)=a1 δ (a1,性)=a2 δ (a2,相)=a0 δ (a0,斥)=a0 最终处于状态a0，表明该字符串检测未命中。 实例二：一种基于有限自动机的渐变镜头检测算法 知识介绍： 镜头：是相机的一次连续拍摄，代表时间和空间上一组连续的动作，是一系列相互关联的连续帧的组合。 它是视像序列的基本元素，其边界检测是视像内容分析和基于内容的事项检索的基础；同时，提高渐变检测可以提高摄影摄像设备的不变性与灵敏性。 镜头边界检测是镜头处理的第一步，也是基于内容的视频检索、视频摘要的基础，因此研究镜头的边界检测具有重要的现实意义。 镜头的边界可分为两类：突变和渐变。 渐变包括：溶解、淡入、淡出等效果。 目前突变的检测效果比较好，而渐变的检测效果并不理想。 主要因为(1)长度的不确定性；(2)变化类型的多样性；(3)变化的平缓性。 渐变检测的算法主要分为两个方面： 判断视像中的一帧是否是渐变边界帧，称为边界帧的判定； 判定一段包含边界帧的视像是否是渐变，称为边界帧的组合。 边界帧的判定主要采用设置阀值和统计