Before revision:  We show that this design problem can be reduced to a classical problem in formal language theory and computational linguistics that can be solved in O( n3 ) time, where n is the mRNA sequence length.
After revision:  We show that this design problem can be reduced to a classical problem in formal language theory and computational linguistics that can be solved in O( n^3 ) time, where n is the mRNA sequence length.