有限自动机

有限自动机是一种简单的抽象机器，它逐个符号地读取输入字符串，并按照固定规则改变状态。它拥有一个有限的状态集合、一个指定的起始状态，以及一个或多个接受状态。如果机器在读完整个输入后停在某个接受状态，则该字符串被接受。