Finite Representation of Languages: Regular Expressions