L = {uman( a + b)n| n>0}eu={uman(uma+b)n|n>0 0}L = \{ a^n (a+b)^n | n>0\} Um livro que estou lendo diz que é, mas, considerando que não podemos saber onde a segunda parte começará, e ela também pode começar com uma, então como podemos aceitar isso usando um DPDA? Como depois de ler a...
Estou tentando (intuitivamente) entender os dois termos "decidibilidade" e "verificabilidade". Pesquisei bastante e passei pelos vários textos em que posso colocar as mãos. No entanto, o entendimento intuitivo deles parece me escapar, especialmente no segundo. Das muitas definições encontradas, a...
Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica...
Esses slides de aula esboçam uma prova de que não pode ser aceito por nenhum Empurrão Determinístico Autômato. Infelizmente, os slides não fornecem referências sobre a origem da prova.L = {umanbn∣ n ≥ 0 } ∪ {umanb2 n∣ n ≥ 0 }eu={umanbn∣n≥0 0}∪{umanb2n∣n≥0 0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{...
Defina a equivalência de Nerode sobre um idioma como iff para cada .L⊆Σ∗eu⊆Σ∗L \subseteq \Sigma^{*}u∼Lvvocê∼euvu \sim_L vuw∈L⇔vw∈LvocêW∈eu⇔vW∈euuw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} A equivalência Nerode possui finitas classes de equivalência precisamente quando pode ser...
Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de...
Há muito tempo que estou tentando encontrar uma construção para poder demonstrar formalmente que um PDA determinístico está fechado sob complementação. No entanto, acontece que toda idéia que recebi tem algo que no final não se encaixa. Você poderia me ajudar? O principal problema acontece com os...
Como estudei, decidir a regularidade das linguagens sem contexto é indecidível. No entanto, podemos testar a regularidade usando o teorema de Myhill-Nerode, que fornece uma condição necessária e suficiente. Portanto, o problema deve ser decidido. Onde está meu
Considere a sequência s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots). Parece "regular" de uma maneira que, por exemplo,s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) não é. Não sei ao certo como formalizar essa intuição. Uma coisa que me impressiona é queL={(01)n}L={(01)n}L =\{(0...
Na aula, nosso professor nos mostrou três métodos para provar a não regularidade: Teorema de Myhill – Nerode Lemma de bombeamento para idiomas regulares Prova de não regularidade, com base na complexidade de Kolmogorov Agora, os dois primeiros, teorema de Myhill-Nerode e lema de Pumping, eu...
Seja , onde e para todos os .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Assim consiste em sequências de de todos os comprimentos, incluindo uma sequência de comprimento . Deixe ser qualquer subconjunto infinito de . Preciso mostrar...
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...
Seja um NFA acíclico.MMM Como é acíclico, é finito.MMML ( M)eu(M)L(M) Podemos calcularem tempo polinomial?| L(M) ||eu(M)||L(M)| Se não, podemos aproximar? Observe que o número de palavras não é igual ao número de caminhos aceitantes em , que é facilmente computável.MMM Deixe-me mencionar...
De acordo com este gráfico , os DCFLs são fechados sob reversão. No entanto, não estou convencido de que seja a prova intuitiva (invertendo as setas da máquina de estados finitos controladores e alternando entre empurrões e estalos), pois isso depende do não-determinismo na escolha da transição...
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...
Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado...
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...
Eu quero perguntar exatamente qual é a relação entre problemas e idiomas. Sabemos que o conjunto de todos os idiomas é incontável. O conjunto de problemas também é incontável? Todo problema pode ser definido por um idioma? Um idioma pode resolver mais de um problema e vice-versa? Existe...
L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | o comprimento de é ímpar 1 está no meio dewww∧∧ \wedge w}w}w\} Portanto, o alfabeto é . Meu problema é que não consigo acompanhar a igualdade de caracteres antes e depois de . Um DFA limitado para o comprimento inferior a...
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....