O que significa dizer que um idioma é "efetivamente fechado" em uma operação?

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo.

O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal?

Para referência, o artigo em que estou vendo isso é:

M. Daley e I. McQuillan. Modelagem formal da compressão de genes virais. International Journal of Foundations of Computer Science, 16 (3): 453–469, 2005.

"Fechado efetivamente" significa que a família está fechada sob a operação e que o fechamento pode ser calculado fornecendo um autômato / gramática para ele (se os idiomas originais também forem fornecidos em uma representação tão eficaz). Por exemplo, dado um autômato de estado finito, podemos encontrar um autômato para o complemento.

Então é uma questão natural, se existem exemplos de propriedades de fechamento que não são eficazes. Eu conheço um agora. Para um idioma regular$R$e qualquer idioma$L$ o quociente $R/L$é novamente regular. Não há maneira eficaz de construir uma FSA para esse quociente se$L$ é, por exemplo, recursivamente enumarable.