5.9.2 有限状态自动机