编译原理课程实验-有限自动机的确定化和最小化:
实验目的:利用状态表和有限自动机的运行原理编写和设计程序,判断输入的自动机是DFA还是NFA,如果是NFA,利用子集法将其确定化,然后利用求同法或求异法将所得的DFA最小化。
实现功能:1.建议以文本文件形式来描述自动机,例如:第一行:表示状态个数;第二行开始表示为状态转换表;最后一行给出接受状态列表。2.根据读进去的自动机内容,判断其类别(NFA还是DFA?)。3.若是NFA,利用子集法将其确定化。4.将DFA最小化。5.输入测试符号串,输出测试结果。
1