Was bedeutet es zu sagen, dass eine Sprache im Rahmen einer Operation „effektiv geschlossen“ ist?

Ich habe einige formale sprachtheoretische Artikel gelesen und bin auf einen Begriff gestoßen, den ich nicht verstehe.

Das Papier bezieht sich häufig auf eine Menge, die "unter Kreuzung effektiv geschlossen" wird, oder auf andere Operationen. Was bedeutet hier "effektiv"? Wie unterscheidet sich dies vom normalen Verschluss?

Als Referenz ist das Papier, in dem ich diese sehe:

M. Daley und I. McQuillan. Formale Modellierung der viralen Genkompression. Internationales Journal der Grundlagen der Informatik, 16 (3): 453–469, 2005.

"Effektiv geschlossen" bedeutet, dass die Familie während der Operation geschlossen ist und dass der Abschluss berechnet werden kann, indem ein Automat / eine Grammatik dafür angegeben wird (wenn die Originalsprache auch in einer so effektiven Darstellung angegeben ist). Beispielsweise können wir bei einem endlichen Automaten tatsächlich einen Automaten für das Komplement finden.

Dann ist es eine natürliche Frage, ob es Beispiele für Verschlusseigenschaften gibt, die nicht wirksam sind. Ich kenne gerade einen. Für eine reguläre Sprache und jede Sprache der Quotient wieder regulär. Es gibt keine effektive Möglichkeit, eine FSA für diesen Quotienten zu konstruieren, wenn z. B. rekursiv aufzählbar ist.$R$$L$$R/L$$L$