Text this: Formal models and algorithms for DNA data analysis using Watson-Crick grammars /