Cosa significa dire che una lingua è "effettivamente chiusa" sotto un'operazione?

Ho letto alcuni articoli di teoria del linguaggio formale e ho trovato un termine che non capisco.

Il documento farà spesso riferimento a un set "effettivamente chiuso sotto l'intersezione" o ad altre operazioni. Cosa significa "efficacemente" qui? In che cosa differisce dalla normale chiusura?

Per riferimento, il documento in cui sto vedendo questi è:

M. Daley e I. McQuillan. Modellistica formale della compressione genica virale. International Journal of Foundations of Computer Science, 16 (3): 453–469, 2005.

"Chiuso efficacemente" significa che la famiglia è chiusa sotto l'operazione, e che la chiusura può essere calcolata fornendo un automa / grammatica (se le lingue originali sono anche fornite in una rappresentazione così efficace). Ad esempio, dato un automa a stati finiti, possiamo effettivamente trovare un automa per il complemento.

Quindi è una domanda naturale, se ci sono esempi di proprietà di chiusura che non sono efficaci. Ne conosco uno adesso. Per una lingua normale e qualsiasi lingua il quoziente è di nuovo regolare. Non esiste un modo efficace per costruire un FSA per quel quoziente se è, ad esempio, enumarizza ricorsivamente.$R$$L$$R/L$$L$