Por otro lado, los autoestados de formula_1 se escriben como una combinación lineal de los autoestados de formula_5