THEORETICAL AND EXPERIMENTAL DNA COMPUTATION