The State-Space Graph of Exchangeable Production System is a Bounded Lattice

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