Decidibilidade da igualdade de CFLs


11

O seguinte problema é decidível:

Dada uma gramática livre de contexto , L ( G ) = ?GL(G)=

O seguinte problema é indecidível:

Dada uma gramática livre de contexto , L ( G ) = A ?GL(G)=A

Existe uma caracterização de linguagens livres de contexto com igualdade decidível L ( G ) = M ?ML(G)=M



1
Por exemplo, é decidível quando é finito (fácil), quando M = { a } (pelo teorema de Parikh) ou quando M = { a n b n } (por Parikh e verificando a interseção com o complemento de a b )MM={a}M={anbn}ab
precisa saber é o seguinte

Você sabe se o conjunto de CFGs st iguais a L ( G ) é decidível, é ele próprio decidível? Que tipo de caracterização você está procurando? Deseja uma lista "simples" de propriedades que cubra todos os casos? GL(G)
Kaveh

Eu acho que essa é exatamente a questão.
Domotorp 15/08

@ Kaveh: Eu não sei se esse conjunto é decidível, embora pareça que não é. A melhor resposta seria algumas condições "simples" que abrangem todos os casos ou exemplos mostrando que o fenômeno é muito complexo. É um pouco vago, mas acho que é responsável.
Sdcvvc 15/08/11

Respostas:


7

Não tenho certeza de que exista alguma caracterização geral para equivalência, mas os seguintes artigos de Hopcroft e Hunt e Rosenkrantz, respectivamente. pode ser um bom começo:

  • John E. Hopcroft, Sobre os problemas de equivalência e contenção para linguagens sem contexto, Theory of Computing Systems 3 (2): 119-124, doi: 10.1007 / BF01746517 ;
  • Harry B. Hunt, III e Daniel J. Rosenkrantz, Sobre problemas de equivalência e contenção para línguas formais, Journal of the ACM 24 (3): 387--396, 1977, doi: 10.1145 / 322017.322020 .

Hopcroft mostra em particular que, se é regular, então L ( G ) = M é decidível se M estiver delimitado, ou seja, existem n palavras w 1 , w 2 , , w n st M w 1 w 2w * n .ML(G)=MMnw1,w2,,wnMw1w2wn


-2

Desculpe abrir um tópico antigo. Mas aqui está algo que pode ser relevante.

Seja pCFL a classe de CFLs fechadas por permutação. O problema da igualdade para o pCFL é decidível.

LΣ={σ1,,σn}WL={#a1(w),,#an(w)wL}WLL

LwL#a1(w),,#an(w)WLL1,L2L1=L2WL1=WL2

Isso levanta uma questão para a qual eu gostaria de saber a resposta: é decidível se uma determinada linguagem livre de contexto é fechada por permutação?


2
Esta não é uma resposta para a pergunta original, mas uma pergunta separada (embora relacionada). Você deve perguntar a ele como a sua própria pergunta (com um link para esta questão) seja aqui ou em CS.SE .
Artem Kaznatcheev

1
Sim, por favor, apague essa resposta, e repost-lo como uma nova pergunta (com um link para este)
Suresh Venkat

1
@SureshVenkat parece que o usuário faz isso no final desta pergunta . Talvez uma nova pergunta não seja necessária.
Artem Kaznatcheev

2
pCFL
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.