If the functional units of DNA are composable then the computational complexity of the problem decreases dramatically. We can use symbols instead of functions and derive an abstract algebra of life.