algebraic language