基于矩阵模型表示的DFA的并行化简
기우구진모형표시적DFA적병행화간
Parallel Simplification of DFA Based on Matrix Model Representation