El conjunto de estados es formula_29 y el estado inicial es formula_30.