Existe uma linguagem de balcão único estritamente não determinística, cujo complemento é um balcão?


8

Deixei A={LLis one-counter and L¯ is also one-counter}

Claramente, Deterministic one-counterA

É o caso que A=Deterministic one-counter?

Eu sei que, para linguagens sem contexto, o analógico não é o caso. Por exemplo, deixeP={wwr}. Então, e são livres de contexto, masPP¯P não é determinístico. ConseqüentementeA define um subconjunto (estrito) das linguagens sem contexto.

A questão é: podemos construir um exemplo de balcão único para o qual o mesmo vale?


2
o que é "balcão único"?
precisa

1
Um PDA com apenas um tipo de símbolos (além do símbolo de baixo) em sua pilha.
frafl

1
o que você quer dizer com x|c|/2=a?
e_noether

1
@emmy: Como um 1CM (não determinístico) decide L¯?
Shaull 20/03/13

1
@emmy: Opa, erro de digitação: eu quis dizer, é claro xx/2 ou seja, o símbolo no x/2-ª posição.
frafl

Respostas:


-1

Em resposta ao comentário de Shaull acima: insira a descrição da imagem aqui insira a descrição da imagem aqui

O primeiro é uma imagem de 1 balcão que aceita aibj st j<i

O segundo é uma imagem de um contador que aceita aibj st j>i, j<2i

O terceiro é uma imagem de 1 balcão que aceita aibj st j>2i

Aqui um / - / plus significa ver um, independentemente do valor do contador, incrementar o contador. b /> 1? / sub significa ver b, se o valor do contador for maior que 1, então diminua o contador.

nop => nenhuma operação

λ => string vazia


1
Uma resposta bastante longa, que é essencialmente justa "Porque é a união de três idiomas, cada um reconhecendo um intervalo de is em relação a j".
frafl

1
sim :) só queria provar que pode ser feito por autômatos 1-counter
e_noether

2
Não há problema em elaborar um pouco, especialmente se for um bom exercício para você, mas adicione um breve resumo. Além disso, você não deve usar uma resposta para responder a um comentário, mas, nesse caso, essa resposta pode se tornar uma resposta real à sua pergunta, por isso acho que também está bem.
frafl

3
Infelizmente, não há provas aqui.
Raphael
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.