Este sistema tiene un solo estado: formula_18, y una sola variable manipulable: formula_19.