He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo.
El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal?
Como referencia, el documento en el que estoy viendo estos es:
M. Daley y yo. McQuillan. Modelado formal de la compresión del gen viral. Revista Internacional de Fundaciones de Ciencias de la Computación, 16 (3): 453–469, 2005.