代数形式模式识别 【计】 algebraic formal pattern recognition