This project applies Formal Language and Automata Theory to efficiently identify DNA motifs in biological sequences. Motifs are converted into NFAs, transformed into DFAs using subset construction, ...