Applying Dna Self-Assembly In Formal Language Theory