Que signifie dire qu'une langue est «effectivement fermée» dans le cadre d'une opération?

J'ai lu des articles théoriques sur le langage formel et je suis tombé sur un terme que je ne comprends pas.

Le document fera souvent référence à un ensemble «effectivement fermé sous intersection» ou à d'autres opérations. Que signifie "effectivement" ici? En quoi cela diffère-t-il de la fermeture normale?

Pour référence, le document dans lequel je vois ces informations est le suivant:

M. Daley et I. McQuillan. Modélisation formelle de la compression des gènes viraux. Journal international des fondations de l'informatique, 16 (3): 453–469, 2005.

"Effectivement fermé" signifie que la famille est fermée dans le cadre de l'opération, et que la fermeture peut être calculée en lui donnant un automate / une grammaire (si les langues d'origine sont également données dans une représentation aussi efficace). Par exemple, étant donné un automate à états finis, nous pouvons réellement trouver un automate pour le complément.

Il s'agit alors naturellement de savoir s'il existe des exemples de propriétés de fermeture qui ne sont pas efficaces. J'en connais un en ce moment. Pour une langue régulière et n'importe quelle langue$R$$L$ le quotient $R/L$est à nouveau régulier. Il n'y a aucun moyen efficace de construire un FSA pour ce quotient si$L$ est par exemple récursivement énumérable.