NFA的确定化

实验一 NFA的确定化

一、实验目的

1.通过本次实验，加深对正则表达式、NFA、DFA及其识别的语言的理解;

2.掌握从NFA到DFA的转换，以及用子集法把NFA转换成DFA理论，编程实现将NFA(不确定有穷自动机)转换为DFA(确定有穷自动机)。

 

二、实验内容

将给定的NFA（五元组）进行确定化，输出等价的DFA。要求选择合适的NFA的存储格式，并进行正确性检查。

 

三、实验原理

一个确定的有限自动机（DFA）M可以定义为一个五元组，M＝（K，∑，F，S，Z），其中：

（1） K是一个有穷非空集，集合中的每个元素称为一个状态；

（2） ∑是一个有穷字母表，∑中的每个元素称为一个输入符号；

（3） F是一个从K×∑→K的单值转换函数，即F（R，a）＝Q，（R，Q∈K）表示当前

状态为R，如果输入字符a，则转到状态Q，状态Q称为状态R的后继状态；

（4） S∈K，是惟一的初态；

（5） Z∈K，是一个终态集。

一个不确定有限自动机（NFA）M可以定义为一个五元组，M＝（K，∑，F，S，Z），其中：

（1） k是一个有穷非空集，集合中的每个元素称为一个状态；

（2） ∑是一个有穷字母表，∑中的每个元素称为一个输入符号；

（3） F是一个从K×∑→K的子集的转换函数；

（4） S∈K，是一个非空的初态集；

&#