System and synthetic biology are rapidly evolving systems, but both lack tools such as those used in engineering environments to shift the their focus from the design of parts (details) to the design of systems (behaviors); to aggravate, there are insufficient theoretical justifications on the computational limits of biological systems. To diminish these deficiencies, we present theoretical results over the Turing-equivalence of metabolic systems, defines rules for translations of algorithms into metabolic P systems and presents a software tool to assist the task in an automatic way.