DFA to MFA

最新推荐文章于 2023-08-25 14:18:15 发布

xueyan0096

最新推荐文章于 2023-08-25 14:18:15 发布

阅读量569

点赞数

文章标签：编译原理

本文链接：https://blog.csdn.net/xueyan0096/article/details/109290587

版权

本文详细介绍了DFA的化简步骤，包括如何将DFA状态分为结束状态集和非结束状态集，并通过一系列操作逐步化简。此外，还提供了MFA（等价的多状态有限自动机）的实现代码，并进行了相关测试以验证其正确性。

摘要由CSDN通过智能技术生成

DFA化简步骤

将DFA状态集分为结束状态集F和非结束状态集S。F为DFA结束状态，S为结束状态以外的所有其它DFA状态。F和S构成状态集G；
对G的每个子集T，对子集T的每个状态S执行move(S, a)得到状态 $S_{1}$ ，找到状态 $S_{1}$ 所属G的子集 $T_{1}$ ，根据 $T_{1}$ 将子集T划分为n个子集；
重复2直到不能再划分子集；
对G中状态个数大于一的子集T，只保留一个状态，去掉T多余的状态。

private NFAToDFA dfa;

public IEnumerable<int[]> DFA2MFA()
{
    var states = new List<int[]>();

    //dfa结束状态集和非结束状态集
    var allStates = Enumerable.Range(0, dfa.DFA.GetLength(0)).ToArray();
    var acceptStates = dfa.FinalStates;
    var nonAcceptStates = (from state in allStates
                           where !acceptStates.Contains(state)
                           select state).ToArray();
            
    states.Add(nonAcceptStates);
    states.Add(acceptStates);
    var compared = new List<int[]>(states);
    while (true)
    {
        foreach(var item in states)
        {
            if (item.Length < 2) continue;

            for (var i = 0; i < Transitions.Length; ++i)
            {
                var groups = (from state in item
                              group state by states.FindIndex(array => array.Contains(dfa.DFA[state, i])) into g
                              select g).ToArray();
                        
                if (groups.Length < 2