Perguntas sobre operações em objetos de algum tipo que resultam em objetos do mesmo tipo.
As linguagens sem contexto não são fechadas sob complemento, sabemos disso. Tanto quanto eu entendo, linguagens sem contexto que são um subconjunto de para algumas letras estão fechadas no complemento (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b Aqui está o meu argumento. Cada linguagem CF tem uma imagem Parikh...
Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos...
Seja uma gramática livre de contexto. Uma série de terminais e não terminais de é dito ser uma forma sentencial de se você pode obtê-lo através da aplicação de produções de zero ou mais vezes para o símbolo de início de . Vamos ser o conjunto de formas de sentenciais .GGGG G S SF ( G )...
é uma linguagem regular sobre o alfabeto Σ = { a , b } . O quociente esquerdo de L em relação a w ∈ Σ ∗ é o idioma w - 1 L : = { v ∣ w v ∈ L }eueuLΣ = { a , b }Σ={uma,b}\Sigma = \{a,b\}eueuLw ∈ Σ∗W∈Σ∗w \in \Sigma^*W- 1L : = { v ∣ w v ∈ L }W-1eu: ={v∣Wv∈eu}w^{-1} L := \{v \mid wv \in L\} Como...
Eu realmente adoraria sua ajuda com o seguinte: Para qualquer fixo L2L2L_2 I precisa decidir se há fechamento nas seguintes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L :...
Eu me deparei com essa pergunta: "Dê exemplos de dois idiomas regulares em que a união deles não produz um idioma comum". Isso é muito chocante para mim, porque acredito que os idiomas regulares são fechados sob união. Que significa para mim que se eu tomar duas linguagens regulares e união...
Existem idiomas indecidíveis, de modo que seu idioma de união / interseção / concatenado seja decidível? Qual é a interpretação física desse exemplo porque, em geral, idiomas indecidíveis não são fechados nessas operações? O que podemos dizer sobre o fechamento de Kleene? Também temos exemplos...
Quero provar que o complemento de não é regular usando propriedades de fechamento.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Entendo que o lema de bombeamento pode ser usado para provar que não é um idioma comum. Também entendo que os idiomas regulares estão fechados sob operação complementar....
Se A2A2A^2 é regular, segue-se que AAA é regular? Minha tentativa de prova: Sim, por contradição, assuma que AAA não é regular. Em seguida, A2=A⋅AA2=A⋅AA^2 = A \cdot A . Desde concatenação de duas línguas não regular não é regular A2A2A^2 não pode ser regular. Isso contradiz nossa suposição....
Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em P (certo?). Ainda há uma questão de saber se...
O deslocamento cíclico (também chamado de rotação ou conjugação ) de uma linguagem é definido como . De acordo com a wikipedia (e aqui ), as linguagens sem contexto são fechadas nesta operação, com referências a artigos de Oshiba e Maslov. Existe uma prova fácil desse fato?L LL{ y x ∣ x y ∈ L...
Uma maneira de observar expressões regulares é como uma prova construtiva do seguinte fato: é possível construir os idiomas regulares iniciando com um pequeno conjunto de idiomas e combinando-os por meio de um pequeno conjunto fixo de propriedades de fechamento. Especificamente, se começarmos com o...
Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Eu sei...
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...
Então, eu estou coçando a cabeça sobre esse problema há alguns dias. Dada uma linguagem regular e , mostre que a linguagem que consiste em todas as strings em cujo comprimento é igual a alguma string em é uma linguagem regular.AAABBBLLLAAABBB Em forma de
Deixei LLLser uma linguagem regular. É o idiomaL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} regular? Eu sei que é muito semelhante à pergunta aqui , mas o problema é que não é uma simples substring de uma palavra em...
Temos dois idiomas: . Sabemos que é uma linguagem comum, então minha pergunta é se é uma regular?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Eu tento encontrar uma maneira de provar isso ... Não posso supor que sejam regulares ... Então, procuro uma maneira de provar isso....
É sabido que as línguas regulares são caracterizadas pela equivalência Myhill-Nerode. Para o idiomaeuLL sobre Σ∗Σ∗\Sigma^* defina a equivalência x∼euyx∼Lyx\sim_L y sobre Σ∗Σ∗\Sigma^* iff para todos z∈Σ∗z∈Σ∗z\in\Sigma^* temos x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. EntãoeuLL é regular se...
Na aula desta semana, aprendemos sobre as CFLs e suas propriedades de fechamento. Eu já vi provas de união, interseção e elogio, mas por reversão meu palestrante acabou de dizer que está encerrado. Eu queria ver a prova, então eu tenho procurado nos últimos dias, mas tudo que eu encontrei é que a...
Eu tenho alguns dias em um exame e tenho problemas para resolver esta tarefa. Seja uma linguagem regular sobre o alfabeto . Temos a operação E agora devemos mostrar esse também é regular.LLLΣΣ\Sigmacycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid...