私はいくつかの正式な言語理論の論文を読んでいて、理解できない用語に出くわしました。
このペーパーでは、セットが「交差点で効果的に閉じている」またはその他の操作について言及することがよくあります。ここで「効果的に」とはどういう意味ですか？これは通常の閉鎖とどう違うのですか？
参考までに、これらの記事は次のとおりです。
M.デイリーとI.マッキヤン。ウイルス遺伝子圧縮の正式なモデリング。International Journal of Foundations of Computer Science、16（3）：453–469、2005年。