“有限自动机”的英语表达是 finite automaton（单数形式）或 finite automata（复数形式） 。
在计算机科学和形式语言理论领域，这是一个常用术语，用于描述一种抽象的计算模型，能根据输入的符号序列，按照预定的状态转移规则，在不同的状态间进行转换，并最终判断输入序列是否被该自动机所接受。