本文在自动机理论的基础上，研究了表示正则语言的确定型有限自动机的最小化填表算法和确定型有限自动机经并、交运算后的最小化问题。本文首先介绍了确定型有限自动机的一种最小化算法—填表算法[34]，对该算法进行了正确性证明和计算复杂性分析。其次，通过对该填表算法分析、研究，发现原算法存在的两个问题：一是不能处理不完全确定型有限自动机，二是预处理过程标记初始可区分状态对可进一步优化。基于此，分别对余不可达状态的性质和初始标记状态对的本质进行了详细分析，进而修改并细化原填表算法。最后对修改后的新算法进行了正确性证明和计算复杂性分析。随后，通过实例进一步从实践上验证新旧填表算法的正确性，且通过观察和比较不同自动机在两种算法上的运行结果，找出了影响新旧算法运行的4个因素，同时通过表格形式对新旧填表算法的运行情况作一分析总结，再详述了新算法对已有算法的5个改进之处。最后，基于改进填表算法的输入条件，对确定型有限自动机的并、交运算分别提出了一种合理的构造方法，使得构造后得到的自动机能通过新填表算法最小化，并对构造方法的正确性予以了证明。