基于前序关系的非确定型有穷自动机极小化算法 |
| |
作者姓名: | 张明明 秦永彬 |
| |
作者单位: | 贵州大学计算机科学与信息学院,贵州,贵阳,550025;贵州大学计算机科学与信息学院,贵州,贵阳,550025 |
| |
基金项目: | 贵州省自然科学基金资助项目,贵州省省长基金资助项目,贵州大学自然科学青年基金资助项目,贵州大学研究生创新基金资助项目 |
| |
摘 要: | 为了减少非确定型有穷自动机(non-deterministic finite automata,NFA)的状态数,引入前序关系,并以图论为工具,将NFA的转移图看作一个带有标记的有向图,给出了NFA极小化的一个新方法。与现行的利用归并等价状态来极小化NFA的算法相比,该方法可以使得NFA在接受语言的能力等价的前提下,状态数得到进一步的减少。
|
关 键 词: | 非确定型有穷自动机 前序关系 状态合并 极小化 |
收稿时间: | 2010-04-02 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《山东大学学报(理学版)》下载全文 |
|