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

Dada qualquer linguagem regular infinita eueuL, como posso provar que eueuL pode ser particionado em 2 idiomas regulares infinitos separados eu1,eu2eu1,eu2L_1, L_2? Isso é:eu1∪eu2= Leu1∪eu2=euL_1 \cup L_2 = L, eu1∩eu2= ∅eu1∩eu2=∅L_1 \cap L_2 = \varnothinge eu1eu1L_1 e eu2eu2L_2 são infinitos e regulares. Até agora, pensei em: usando o lema de …

9 formal-languages  regular-languages  finite-automata 

Em nosso curso de conceitos de linguagem de programação, nosso instrutor afirmou que não há problema em um estado final levar a outro estado em um diagrama de estados finitos. Mas esse parece ser um conceito fundamentalmente contraditório. Como um estado final, por definição, é aquele que termina as transições, …

8 formal-languages  graphs  regular-languages  finite-automata 

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 1)^n\} é uma linguagem regular e s1s1s_1 é, em certo …

8 formal-languages  regular-languages 

Atualmente, estou lendo o livro Introdução à Teoria da Computação (2 ou 3 Ed.), De Michael Sipser , e me deparei com uma pergunta no Capítulo 1 - Linguagens Regulares , ou seja, quando o autor está apresentando a ideia de prova do Teorema 1.49 - "A classe de idiomas …

8 regular-languages  automata  finite-automata  nondeterminism 

Estou tendo problemas para tentar determinar se todos os números quadrados (1, 4, 9, 16, ...) escritos em formato binário (1, 100, 1001, ...) são uma linguagem comum. Após algumas tentativas de encontrar um padrão comum desses números, descobri que, para qualquer número quadrado n2n2n^2, n2mod4n2mod4n^2 mod 4é igual a …

8 formal-languages  regular-languages  automata  finite-automata 

Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um lema?

8 complexity-theory  regular-languages  finite-automata 

Dado um DFA, A, deixe L (A) denotar o número de palavras que A aceita. Eu acho que é fácil calcular L (A): traduza a codificação de A em uma expressão regular. Se a estrela Kleene aparecer em qualquer lugar da expressão - o idioma é infinito. Senão: percorra e …

8 regular-languages  automata  regular-expressions 

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 entendi bem e também …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

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 

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 

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 

Deixei euLLser uma linguagem regular. Prove que: eu+ - -= { w :∃você| u | =2 | w | ∧wu∈G}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} eu+ + -= { w :∃você2 | u | = | w | ∧ w u ∈ G }L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} …

8 regular-languages 

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 …

8 formal-languages  regular-languages  closure-properties