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

Vamos considerar duas gramáticas livres de contexto e e fazer a seguinte pergunta: É , isto é, são as duas gramáticas equivalente?G1G1G_1G2G2G_2L ( G1) = L ( G2)eu(G1)=eu(G2)L(G_1) = L(G_2) Em geral, esse problema é indecidível. No entanto, se ambos e lineares esquerda são (ou lineares direita) gramáticas, então o …

19 formal-languages  context-free  formal-grammars 

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 

Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma ideia?

18 formal-languages  turing-machines  computability  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 

Existe um algoritmo / procedimento sistemático para testar se uma linguagem é livre de contexto? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é livre de contexto ou não . Imagine que estamos escrevendo um serviço da Web para …

18 algorithms  formal-languages  context-free  decision-problem 

Dada uma linguagem regular , é fácil provar que existe um constante, como , com existem cadeias , e modo que e e, para todo , éLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N|β|≠ϵ|β|≠ϵ\lvert \beta \rvert \ne \epsilonkkkαβkγ∈Lαβkγ∈L\alpha \beta^k \gamma \in L. É amplamente afirmado que …

18 formal-languages  proof-techniques 

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 

Dadas as línguas e , digamos que sua concatenação seja inequívoca se, para todas as palavras , houver exatamente uma decomposição com e e ambígua caso contrário. (Não sei se existe um termo estabelecido para essa propriedade - coisa difícil de procurar!) Como um exemplo trivial, a concatenação de consigo …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Gostaria de saber se isso é possível, já que . Portanto, um PDA que pode distinguir uma palavra do resto de pode aceitá-la , o que me parece contraditório. w ∈ { um n b n c n | n ≥ 0 } { um * b * c * …

16 formal-languages  automata  context-free  pushdown-automata 

Se eu tenho uma gramática tipo 3, ela pode ser representada em um autômato de empilhamento (sem fazer nenhuma operação na pilha) para que eu possa representar expressões regulares usando linguagens livres de contexto. Mas eu posso saber se uma gramática do tipo 3 é , L L ( 1 …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Observe que esta é uma pergunta relacionada ao estudo em um curso de CS em uma universidade, NÃO é tarefa de casa e pode ser encontrada aqui no exame do outono de 20112. Aqui estão as duas perguntas de um exame passado. Eles parecem estar relacionados, o primeiro: Deixei F …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Um autômato finito determinístico (DFA) é um modelo de máquina de estado capaz de aceitar todas e apenas linguagens regulares. Os DFAs podem ser (e geralmente são) definidos de tal maneira que cada estado deve fornecer alguma transição para todos os elementos do alfabeto de entrada; em outras palavras, a …

16 formal-languages  automata  finite-automata