El estado (P → S •, 0) representa un análisis completado.