Text this: Formal language theory and DNA