El análisis incremental de contexto libre de ICE recupera las partes del bosque compartido que permanecen estables entre dos pasos consecutivos de análisis, sin que ello sea costoso ni en espacio ni en tiempo.
Supongamos que es la cadena original de entrada ya analizada.
En el siguiente paso de análisis se tratará con la cadena de entrada
modificada
, con
.
Se denominan items estables a aquellos que representan una configuración
estable en el PDT y que serían reconstruidos si se realizase un reanálisis
completo de toda la entrada. Un item
es estable si y sólo si existe un item
,
es decir, un item es estable si es equivalente a un item del análisis de la
nueva cadena. Para representar el concepto descrito, se utilizará la
notación
.
Desde el punto de vista práctico, ICE sólo considera el caso de la recuperación de itemsets completos, no de items sueltos. Esto es equivalente a recuperar todos los descendientes en las ramas OR de un nodo del bosque compartido. Aunque con ello no se evita la eliminación de todas las computaciones superfluas, sí que permite reducir notablemente el proceso de comparación entre las configuraciones de las pilas correspondientes a la cadena de entrada original y a la modificada.