有限自动机的极小化

有限自动机的极小化（minimization of finite automaton）是2018年公布的计算机科学技术名词。把一个确定的有限自动机转换为等价（即接受的语言相同）的最简（即状态集最小）的有限自动机。