最简稳定符号状态迁移图

• minimized stable label transition graph of symbolic state