编译原理NFA转DFA(共17页).doc

编译原理实验报告实验名称 不确定有限状态自动机的确定化 实验时间 院系 计算机科学与技术学院 班级 学号 姓名 1.试验目的输入： 非确定有限（穷）状态自动机。输出： 确定化的有限（穷）状态自动机2.实验原理一个确定的有限自动机（DFA）M可以定义为一个五元组，M（K，F，S，Z），其中：（1） K是一个有穷非空集，集合中的每个元素称为一个状态；（2） 是一个有穷字母表，中的每个元素称为一个输入符号；（3） F是一个从KK的单值转换函数，即F（R，a）Q，（R，QK）表示当前状态为R，如果输入字符a，则转到状