3.1 有限状态自动机