This paper deals with necessary and sufficient optimality conditions for control problems governed by semilinear elliptic partial differential equations with finitely many equality and inequality state constraints. Some recent results on this topic for optimal control problems based upon results for abstract optimization problems are compared with some new results using methods adapted to the control problems. Meanwhile, the Lagrangian formulation is followed to provide the optimality conditions in the first case; the Lagrangian and Hamiltonian functions are used in the second statement. Finally, we prove the equivalence of both formulations.