可交换的产生式系统的状态空间图为有界格 论文