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

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 tipo de notação levará …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Quando olho para as provas de bombeamento do lema , sinto que muitas vezes sinto falta da intuição por trás da condição | xy | ≤ p. Qual é exatamente o motivo por trás dessa condição? Toda a literatura que examinei é silenciosa (sem prova, sem discussão, apenas uma afirmação) …

8 formal-languages  regular-languages  pumping-lemma 

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 

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 6:{0,1}∗{0,1}∗\{0,1\}^*111 Como posso …

8 formal-languages  finite-automata  formal-grammars 

Minha pergunta é basicamente dada a três idiomas A, B e L, onde L é A e B concatenados juntos e B é comprovadamente não regular, é possível encontrar um A que faça L regular?

8 formal-languages  regular-languages 

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. L1,L2L1,L2L_1,L_2 Eu gostaria de receber alguma dica! Obrigado!

8 formal-languages  regular-languages  closure-properties 

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 correspondência individual …

8 formal-languages 

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 nula a ser …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

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 uma abordagem óbvia que não funciona: converter …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

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 que sempre existe um DFA para …

8 formal-languages  regular-languages  closure-properties 

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 erro?

8 formal-languages  computability  regular-languages  undecidability 

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 movimentos ε . …

8 formal-languages  automata  closure-properties  pushdown-automata 

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 reconhecido por um autômato de estado finito. Este é o teorema de Myhill-Nerode …

8 formal-languages  context-free  pushdown-automata 

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 de autômatos …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

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 …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism