Complementing In Regular Expression Theory Of Computation