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


9

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.

Respostas:


14

"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 regularRe qualquer idiomaeu o quociente R/eué novamente regular. Não há maneira eficaz de construir uma FSA para esse quociente seeu é, por exemplo, recursivamente enumarable.

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.