标签: 有限状态自动机