Makina-states Formulaes