xem algorithm演算: [yǎnsuàn]tính toán theo công thức; tính theo nguyên lý nhất định。按一定原理和公式计算。Λ演算: phép tính lambda演算法: thuật toán