Perguntas com a marcação «formal-languages»

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 

O idioma é obviamente regular - por exemplo, corresponde à expressão regular . Mas o seguinte argumento do lema de bombeamento parece mostrar que não é regular. O que deu errado?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Eu encontrei uma maneira de dividir uma …

8 formal-languages  regular-languages  proof-techniques  pumping-lemma  reference-question 

Atualmente, estou tentando provar um idioma regularmente (para diversão pessoal). O idioma é: O idioma que contém todos os números no ternário que possuem paridade de bits quando codificados em binário. Atualmente, tentei algumas abordagens diferentes que não me levaram a nenhum sucesso. Tentei usar o lema de bombeamento (não …

8 formal-languages  regular-languages  arithmetic 

Para uma linguagem com comprimento de bombeamento e uma string , os lemas de bombeamento são os seguintes:LLLppps∈Ls∈Ls\in L Versão regular : If , então pode ser escrito como , atendendo às seguintes condições:|s|≥p|s|≥p|s| \geq psssxyzxyzxyz |y|≥1|y|≥1|y|\geq 1 |xy|≤p|xy|≤p|xy|\leq p ∀i≥0:xyiz∈L∀i≥0:xyiz∈L \forall i\geq 0: xy^iz\in L Versão sem contexto : …

8 formal-languages  regular-languages  context-free  pumping-lemma 

se eu tiver uma gramática com uma produção que contenha recursão esquerda e fatoração esquerda como F→ FB a ∣ c D S∣ cF→FBuma∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c qual deles tem prioridade, recursão esquerda ou fatoração esquerda?

8 formal-languages  formal-grammars  parsers  left-recursion 

Estou tentando atacar o TAOCP mais uma vez, dado o peso literal dos volumes que tenho problemas em comprometer seriamente. No TAOCP 1, Knuth escreve, página 8, conceitos básicos: Seja um conjunto finito de letras. Seja o conjunto de todas as seqüências de caracteres em (o conjunto de todas as …

7 formal-languages  turing-machines  computation-models 

O algoritmo de Brzozowki é amplamente citado. Várias perguntas aqui dão exemplos ou discutem sua complexidade. Mas não consegui encontrar uma prova de correção para o algoritmo. Como provamos que está correto? Qualquer prova acessível aos estudantes de ciências da computação seria muito bem-vinda.

7 formal-languages  automata  finite-automata 

Atualmente, estou estudando línguas formais. Minha palestra afirma que, embora as palavras de uma língua sejam finitas, as frases construídas com a gramática subjacente não são. Mas não entendo por que isso geralmente deve ser verdade. Eu posso imaginar a gramática que me deixa com uma quantidade finita de frases. …

7 formal-languages 

Eu estive mexendo com esse problema durante a última hora e estou incrivelmente perplexo. Seja . Mostre que é regular.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AAA Obviamente, a linguagem satisfaz o lema de bombeamento, mas isso não é conclusivo para …

7 formal-languages  regular-languages 

O objetivo de Turing ao construir seu conceito era formalizar como os humanos fazem o raciocínio abstrato. Agora me corrija se eu estiver errado, mas esse raciocínio parece apenas um exercício em que você manipula um conjunto de declarações formais, ou seja, strings sem nenhuma semântica associada a ele. Portanto, …

7 formal-languages  turing-machines 

Vai L={a∗b∗}L={a∗b∗}L = \{a^* b^*\} ser classificado como um idioma regular? Estou confuso porque sei que L={anbn}L={anbn}L = \{a^n b^n\}não é regular. Que diferença faz a estrela kleene?

7 formal-languages  regular-languages  kleene-star 

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 

Para um idioma LLL, definir: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Estou tentando mostrar que as …

7 formal-languages  context-free  closure-properties 

Alguém pediu exemplos de linguagens sem contexto com complementos sem contexto . A primeira resposta diz: O idioma eu1 1= { w w ∣ w ∈ { a , b}∗}eu1 1={WW∣W∈{uma,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}não é livre de contexto (como pode ser mostrado usando o lema de bombeamento; veja …

7 formal-languages  context-free  formal-grammars