Perguntas com a marcação «context-sensitive»

Ao considerar os modelos de máquinas computacionais, a hierarquia de Chomsky é normalmente caracterizada por (em ordem), autômatos finitos, autômatos push-down, autômatos de ligação linear e Máquinas de Turing. Para o primeiro e o último nível 1 (linguagens regulares e linguagens recursivamente enumeráveis), não faz diferença para o poder do …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Estou tentando entender gramáticas sensíveis ao contexto. Eu entendo por que idiomas como {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} não são livres de contexto, mas o que eu gostaria de saber se uma linguagem semelhante ao cálculo lambda sem tipo é sensível ao contexto. Gostaria de …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Eu estava analisando a definição de linguagem sensível ao contexto da Wikipedia e achei o seguinte: Cada categoria de idiomas é um subconjunto adequado da categoria diretamente acima dele. Qualquer autômato e qualquer gramática em cada categoria tem um autômato ou gramática equivalente na categoria diretamente acima. Pude ver que …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Estou procurando uma gramática sensível ao contexto que descreva o seguinte idioma: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Eu tenho problemas com o fato de que nenhuma …

9 formal-languages  formal-grammars  context-sensitive 

Sabe-se que uma propriedade "bombear" (palavras de um determinado comprimento implica a existência de loops no mecanismo de definição de idioma) para linguagens regulares e sem contexto e mais algumas (geralmente usadas para refutar a associação de um idioma a uma determinada classe) ) Na discussão em torno dessa pergunta …

8 formal-languages  pumping-lemma  context-sensitive 

eu suponho que Σ={a}Σ={a}\Sigma = \{a\}. Prove ou refute: para cada polinômio p(n)p(n)p(n) com coeficientes em NN\mathbb{N}, L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} é uma linguagem sensível ao contexto. Parece que é uma linguagem sensível ao contexto. Eu acho que criar LBA ou gramática sensível ao contexto …

8 formal-languages  context-sensitive 

Eu tenho procurado uma linguagem prototípica para linguagens recursivas (decidíveis) que não seja sensível ao contexto sem sucesso. Por exemplo, é prototípico de linguagens regulares, para linguagens livres de contexto e para linguagens sensíveis ao contexto. Eu costumo considerar a linguagem que é aceita por uma máquina universal de Turing …

7 formal-languages  turing-machines  context-sensitive 

L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Claramente, esse idioma é finito, portanto deve ser um idioma regular. Agora, como toda linguagem comum é sensível ao contexto,euLLé uma CSL. Podemos definir a gramática paraeuLL Como : S→ ϵS→ϵS\rightarrow \epsilon Agora desde euLLé uma CSL, essa gramática …

7 formal-languages  regular-languages  context-sensitive 

Estou tentando resolver o próximo exame e não tenho idéia de como gerar a gramática para idiomas sensíveis ao contexto, por exemplo, como devo proceder nesse tipo de pergunta. Forneça uma gramática sensível ao contexto (não apenas para aumentar o comprimento) {www:w∈{a,b}⋆}{WWW:W∈{uma,b}⋆}\{www : w ∈ \{a, b\}^⋆\}. Idéias ou abordagens …

7 formal-languages  formal-grammars  context-sensitive 

Esta é uma pergunta do exame do nosso curso "Autômatos e línguas formais". Há uma pergunta em que é solicitado que prove ou refute que qualquer operação de "complemento relativo" entre duas linguagens sensíveis ao contexto também produzirá uma linguagem sensível ao contexto. Das propriedades de fechamento sensíveis ao contexto …

7 formal-languages  closure-properties  context-sensitive