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

Aprendemos sobre a classe de idiomas regulares . É caracterizado por qualquer conceito entre expressões regulares, autômatos finitos e gramáticas lineares à esquerda, portanto é fácil mostrar que um determinado idioma é regular.REGREG\mathrm{REG} Como mostro o oposto? Meu TA tem sido inflexível que, para fazer isso, teríamos que mostrar para …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Existem muitos métodos para provar que um idioma não é regular , mas o que preciso fazer para provar que um idioma é regular? Por exemplo, se me é dado que é regular, como posso provar que o a seguir também é regular?LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Na minha turma, um aluno perguntou se todos os autômatos finitos poderiam ser desenhados sem cruzar as bordas (parece que todos os meus exemplos). Claro que a resposta é negativa, o autômato óbvio para a linguagem {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} tem a estrutura de K5K5K_5 …

33 regular-languages  finite-automata  planar-graphs 

Eu estava lendo sobre Iota e Jot e achei esta seção confusa: Diferentemente de Iota, onde a árvore sintática de uma sequência pode ramificar-se à esquerda ou à direita, a sintaxe Jot é ramificada à esquerda de maneira uniforme. Como resultado, o Iota é estritamente livre de contexto, mas o …

32 regular-languages  programming-languages  turing-completeness 

Acabei de concluir o primeiro capítulo da Introdução à Teoria da Computação, de Michael Sipser que explica o básico dos autômatos finitos. Ele define uma linguagem regular como qualquer coisa que possa ser descrita por um autômato finito. Mas não consegui encontrar onde ele explica por que um idioma comum …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Para um idioma regular , seja c n ( L ) o número de palavras em L de comprimento n . Utilizando a forma canônica de Jordan (aplicada à matriz de transição não anotada de alguns DFA para L ), pode-se mostrar que, para números grandes o suficiente n , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Aqui está uma conjectura para expressões regulares: Para a expressão regular , deixe o comprimento | R | seja o número de símbolos nele, ignorando parênteses e operadores. Por exemplo | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| R ||R||R|| 0∪1 | …

25 formal-languages  regular-languages  regular-expressions 

Sabemos que os DFAs são equivalentes aos NFAs em poder de expressividade; também existe um algoritmo conhecido para converter NFAs em DFAs (infelizmente agora conheço o inventor desse algoritmo), o que, na pior das hipóteses, nos dá estados, se nosso NFA tivesse estados. S2S2S2^SSSS Minha pergunta é: o que está …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

A Wikipedia tem a seguinte definição de lema de bombeamento para idiomas regulares ... Seja uma linguagem regular. Existe então um número inteiro ≥ 1, dependendo apenas de modo que cada string em de comprimento pelo menos ( é chamado de "comprimento de bombeamento") possa ser escrita como = (ou …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Estou tentando usar o lema de bombeamento para provar que não é regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} É o que tenho até agora: suponha que seja regular e seja o comprimento do bombeamento, então . Considere qualquer decomposição de bombeamento tal que e .p w = ( 01 …

19 formal-languages  regular-languages  pumping-lemma 

Deixei L = { an∣ ∃p ≥ n p, p + 2 são primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. é regular?euLL Esta questão parecia suspeita à primeira vista e eu percebi que ela está conectada à …

19 formal-languages  automata  regular-languages  finite-automata 

Estou preso na seguinte pergunta: "Linguagens regulares são precisamente aquelas aceitas por autômatos finitos. Dado esse fato, mostre que se a linguagem é aceita por algum autômato finito, então também é aceita por algum finito; consiste em todas as palavras de invertido. "L R L R LeuLLeuRLRL^{R}euRLRL^{R}euLL

19 formal-languages  regular-languages  automata  finite-automata 

Configuração: expressões regulares com referências anteriores idioma unário (alfabeto de 1 símbolo) O seguinte problema é decidível nessa configuração: Dada uma expressão regular com referências anteriores, ela define um idioma regular? Por exemplo, (aa+)\1define um idioma regular, enquanto (aa+)\1+não. Podemos decidir qual é o caso? Para concretude, "expressões regulares com …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Existem muitos (e eu digo muitos) idiomas contáveis ​​que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing decidível?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

De acordo com a Wikipedia , para qualquer linguagem regular existem constantes \ lambda_1, \ ldots, \ lambda_k e polinômios p_1 (x), \ ldots, p_k (x) de modo que para cada n o número s_L (n) de palavras de comprimento n em L satisfaz a equaçãoLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . …

17 formal-languages  regular-languages  combinatorics  word-combinatorics