algebraic machine language