donde formula_18 es un estado del Turmite, formula_19 y formula_20 y formula_11 es donde está posicionada una de las formula_1 cabezas.