【算法】自动机思想