Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems