一面的T2似乎需要自动机