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

Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk = …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset NFA Resultados conhecidos de autômatos relacionados: A minimização de …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.ϵϵ\epsilon Obviamente, essas variações podem ser formadas, mas …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Uma frase de permutação é uma extensão das definições gramaticais livres de contexto (E) BNF: uma frase de permutação contém produções (ou equivalentes, não terminais) a . Na posição da frase de permutação, gostaríamos de ver cada uma dessas produções exatamente uma vez, mas não estamos interessados ​​em ordenar essas …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante. Podemos …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Fiquei me perguntando se existe uma boa bibliografia de tentativas de investigar a conjectura de Collatz como uma gramática formal. (ou quaisquer outras tentativas na comunidade de CS para lidar com essa classe de fenômenos generativos e suas propriedades de "interrupção").

16 fl.formal-languages  nt.number-theory  halting-problem 

Estou interessado em duas perguntas sobre linguagens sensíveis ao contexto (CSL) e integridade: Existe uma noção de integridade para CSL e quais idiomas estão completos? Existem CSL naturais que são NP-completas? Para 2., certamente posso pensar em linguagens naturais completas de NP que são CSL (como CSL é igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Para uma linguagem L ⊆ Σ ^ * , defina a congruência sintática ≡ de L como a menor congruência em Σ ^ * que satura L , ou seja: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Agora defina a equivalência de Nerode …

16 automata-theory  fl.formal-languages 

Esta não é necessariamente uma questão de pesquisa. Apenas uma pergunta por curiosidade: Estou tentando entender se é possível definir linguagens "irredutíveis". Como primeira hipótese, chamo uma linguagem L de "redutível" se puder ser escrita como com A ∩ B = ∅ e | Um | , | B | …

15 fl.formal-languages 

Fundo: Dado dois autômatos finitos determinísticos A e B, formamos o produto C permitindo que os estados em C sejam o produto cartesiano dos estados em A e estados em B. Então, escolhemos transições, estado inicial e estados finais para que o idioma seja aceito por C é a interseção …

15 fl.formal-languages  automata-theory  dfa 

Sabe-se que minimizar o tamanho de uma expressão regular é completo no PSPACE, mesmo que tenhamos um DFA como especificação da linguagem . Quais são os resultados se o idioma for finito? Pode-se considerar esse problema em dois modelos: A entrada é todas as strings do idioma e medimos o …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

O problema Seja um autômato Büchi, reconhecendo um idioma . Nós assumimos que tem uma estratégia de aceitação no seguinte sentido: existe uma função que pode ser usado para corridas piloto de . Formalizamos isso pelas seguintes condições:L ⊆ Σ co Uma σ : Σ * → Q UmA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

A altura da estrela (generalizada) de um idioma é o agrupamento mínimo de estrelas Kleene necessárias para representar o idioma por uma expressão regular estendida. Lembre-se de que uma expressão regular estendida sobre um alfabeto finito UMAUMAA satisfaz o seguinte: (1) e um são estendidos expressões regulares para toda a …

15 fl.formal-languages  lower-bounds  regular-expressions 

No capítulo 4 de A Second Course in Automata Theory, de Jeffrey Shallit, o seguinte problema é listado como aberto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ P ( n ) | n ⩾ 0 }{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 Qual é o seu status agora (como em outubro de 2018)? …

14 fl.formal-languages  nt.number-theory  grammars