效的算法（时间开销是O(n)的）构造出与给定确定有限状态自动机等价的最小化的确定有限状态自动机。
计算能力与判定问题.确定有限状态自动机与非确定有限状态自动机识别的语言都是正则语言。由于正则语言的良好性质，许多为其他自动机（下推自动机或图灵机）不能判定的问题，在有限状态自动机的情形下，都可以得到判定，并且存在有效的算法。对一个确定有限状态自动机，下述判定问题都可以判定，并且存在有效的算法。