minimized stable label transition graph of symbolic state

• 最简稳定符号状态迁移图