weixin_40276446的博客

原创 DFA确定有穷状态机的简化

@[TOC]Hop-croft算法 DFA确定有穷状态机的简化 为减少资源占用，故将DFA进行简化 Hop-croft算法 基于等价类的简化算法 等价类：无法再进行划分的状态集合，如下图中包括3个等价类S1,S2,S3，这3个等价类均由1或多个状态构成且各自无法再分 /*hop-croft算法*/ split(S) foreach(character c) if(c can...