Los "estados" posibles de un vehículo son los enteros entre 0 y formula_3.