5.3.2 范式化状态树