3．6 基于有限状态机的逻辑管理工具