有限识别器的状态等价及其性质.pdfVIP

第28卷第1期 广西师范大学学报：自然科学版 V01．28No．1 of Normal ScienceEdition Mar．2010 2010年3月 Journal University：Natural Guangxi 有限识别器的状态等价及其性质 蒋茂坤，邓培民，易忠 (广西师范大学数学科学学院，广西桂林541004) 摘要：讨论有限识别器的状态等价及其性质，在同构意义下，有限识别器都唯一存在一个可分有限识别器与 它等价，给出了有限识别器的状态化简和等价类的求法。 关键词：有限识别器；状态等价；可分}状态数 中图分类号：TP301．1 文献标识码：A 文章编号：1001—6600(2010)01—0027—04 利用自动机进行模式识别一直是人们研究的热点[1嵋]。对一个可识别集A，如何构造出一个完全、可达 并且状态个数最少的有限识别器是一个既有理论意义又有实际应用价值的问题，而其中一个主要的工作 就是状态化简‘“。本文参照有限自动机的状态等价‘引、Moore自动机[5J、状态机的稳定状态与稳定子集[6] 和下推自动机的状态转换图与下推自动机集的化简[7]的思想方法，从有限自动机的识别功能角度定义两 个有限识别器的状态等价，讨论有限识别器的状态化简问题，并给出有限识别器的状态等价类的求法。由 于任何一个有限识别器彳和其完全化的有限识别器彳7的识别集相同，在此只讨论完全的有限识别器。 三，F)为一个状态机，记为M。称Q为M的状态字母表，三为M的输入字母表，F为M的状态变换函数， 称三。={盯1．．·以l仉∈三，1≤i≤咒，，z∈N)为M的输入字。 器，简称有限识别器，记为∥，称i为它的初始状态，称丁为它的终结状态集。 彳识别的集，其中iF口表示在i状态下输入字符串口后到达的状态。 为可达的有限识别器，其中i凡表示在i状态下输入字符串口后到达的状态。 限识别器。 T)；设M一 (Q，三，F)为一个状态机，AS三。，a∈三。，定义口_1·A一(p∈三。I口卢∈A)。 有限识别器的状态化简 7，则称彳’强于∥，记作∥彳7。若彳,／97且∥’ 分。若对任何的q∈Q，都存在q’∈Q’，使得q～q 彳，则称∥与彳7等价，记作∥～彳7。 容易验证，状态等价关系是反身、对称和传递的；有限识别器的等价关系是反身、对称和传递的；有限 识别器的强于关系是反身、传递的，但不是对称的。 收稿日期：2009—08—25 基金项目：国家自然科学基金资助项目；广西自然科学基金资助项目(0832103) 万方数据 28 广西师范大学学报：自然科学版 第28卷 命题1 且三一三’，设q∈Q，q7∈Q’，若口～口’，则对任何的aE三。，都有g*口～g’*口。 定义7若有限识别器∥的任何两个不同状态皆不等价，则称∥可分。 命题2设彳是一个可分有限识别器，若有限识别器彳7和彳等价，则形’的状态数挖’不小于∥ 的状态数挖。 定理1对任何有限识别器∥，都存在一可分有限识别器彳’，使形’～彳，并且I∥’l=1名l。 证明 设彳一(M，i，丁)是一个有限识别器，其中M=(Q，三，F)。由于彳的状态等价关系～是反身、 对称和传递的，故由关系～决定Q的一个划分，将Q进行划分所得的划分块记作c1．．．’G。令Q7=(C，， 此时令T7={CiIG 先证明一个命题：对任何q∈Q，设cl是Q’中含口的划分块，则口～C。。对任意的aE三。，若口∈q-1。 丁，贝0 。T7，口～G。由上述命题，立即可得彤～彩7。 口，口：一1。T=(gJ*口)一1。T。又q：*A=口；∈丁，虽p ～qf，于是C严Cf，这与Ci≠Cf矛盾。故彳7可分。 接下来证明I彳’I—I彳I。对任意的aE 丁’的定义，C^*aET