MATHEMATICAL MECHANIZATION FOR LINEAR DEDS
线性DEDS的机械化求解方法

Based on the Gaussian elimination method, the mathematical mechtriationis realized for solving equation, obtaining transfer matrix and computing matrix PSeudo-inversein linear DEDS. This provides a new method of modeling, analysis and computation for DEDS.