13.3.1 基本的有限状态机