通用自动机和传感器(有限状态机生成器)