algorithm for decomposable production system

• 可分解产生式系统的算法