“有限自动机”的英语表达是 finite automaton （单数形式）或 finite automata （复数形式）。
它是一种数学模型，用于描述具有有限个状态的离散系统，在计算机科学、形式语言理论等领域有广泛应用。