At the Crossroads of Linguistics , DNA Computing , and Formal Language Theory : Characterizing RE Using Insertion-Deletion Systems 1