Regular Expression Theory Of Computation