i算法在最坏情况下的复杂度是指数的，因为存在这样的正则语言，其反序的最小DFA的规模是原语言DFA规模的指数大。 但通常来说这个算法比最坏情况表现得要好。
NFA最小化.以上的步骤都对DFA有效，可是划分的方法并不适用于非确定有限状态自动机(NFA)。虽然穷举搜索可以最小化NFA，但并没有一个多项式时间的算法可以完成该过程，除非 P=PSPACE（计算复杂性理论中的一个未解决问题，一般认为很可能P≠PSPACE）。然而的确存在比暴力搜索可能更加有效的NFA最小化算法。