However, there are methods of NFA minimization that may be more efficient than brute force search.
然而的确存在比暴力搜索可能更加有效的NFA最小化算法。