Theoretical and Experimental DNA Computation