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

Estou tentando (intuitivamente) entender os dois termos "decidibilidade" e "verificabilidade". Pesquisei bastante e passei pelos vários textos em que posso colocar as mãos. No entanto, o entendimento intuitivo deles parece me escapar, especialmente no segundo. Das muitas definições encontradas, a seguinte encontrada nesta página explicou claramente a capacidade de decisão …

8 complexity-theory  formal-languages  terminology  computability 

Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de DFAs aceitando …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

É o idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sem contexto? Eu acho que não é livre de contexto, porque parece muito complicado para um PDA decidir se dois números são co-primos ou não. …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

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 

Deixei A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Claramente, Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A É o caso que A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter}? Eu sei que, para linguagens sem contexto, …

8 formal-languages  automata  closure-properties  pushdown-automata 

Eu tenho duas perguntas: Eu considero o seguinte idioma L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Em outras palavras wwwnão é palíndromo com comprimento uniforme. Eu provei que esse idioma NÃO é regular, provando que seu complemento não é regular. Minha pergunta é como provar …

8 formal-languages  regular-languages  pumping-lemma 

Então, eu estou coçando a cabeça sobre esse problema há alguns dias. Dada uma linguagem regular e , mostre que a linguagem que consiste em todas as strings em cujo comprimento é igual a alguma string em é uma linguagem regular.AAABBBLLLAAABBB Em forma de equação: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Como mostro que o problema de decidir se um PDA aceita alguma sequência do formato é indecidível?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Tentei reduzir esse problema a outro indecidível, como se duas gramáticas livres de contexto aceitam o mesmo idioma. No entanto, não tenho certeza de como …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Estou tentando me ensinar a teoria da computabilidade com um livro didático. De acordo com o meu livro, uma funçãofff sobre um alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n …

8 formal-languages  computability  undecidability 

Estou prestes a implementar uma linguagem específica de domínio para representação de convenções de aprendizagem social. Parte da implementação é uma descrição formal de uma linguagem - seu 'cálculo', símbolos e expressões lógicas. Minha abordagem seria descrever a linguagem descrevendo sua gramática, mas também existem conceitos como relações, diálogos, expectativas …

8 formal-languages  programming-languages  semantics 

É o idioma L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sem contexto? Acredito que a resposta é que não é uma CFL, mas não posso provar pelo lema de Ogden ou Pumping.

8 formal-languages  context-free  pumping-lemma 

Eu tenho alguns dias em um exame e tenho problemas para resolver esta tarefa. Seja uma linguagem regular sobre o alfabeto . Temos a operação E agora devemos mostrar esse também é regular.LLLΣΣ\Sigmacycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\}cycle(L)cycle⁡(L)\operatorname{cycle}(L) A referência …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Eu quero contar o número de strings ssssobre um alfabeto finito , que não contém repetições, e com isso quero dizer para qualquer substring deAAAtttsss, 1&lt;|t|&lt;|s|1&lt;|t|&lt;|s|1< |t| < |s|, não há cópia separada de ttt no sss. Por exemplo, deixeA={a,b}A={a,b}A=\{a,b\}. Então é uma das seqüências de caracteres que quero contar, …

8 formal-languages  combinatorics  strings  word-combinatorics 

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles conseguiram mostrar que o conjunto de idiomas aceitos por essas máquinas …

8 formal-languages  automata  closure-properties 

L = {uman( a + b)n| n&gt;0}eu={uman(uma+b)n|n&gt;0 0}L = \{ a^n (a+b)^n | n>0\} Um livro que estou lendo diz que é, mas, considerando que não podemos saber onde a segunda parte começará, e ela também pode começar com uma, então como podemos aceitar isso usando um DPDA? Como depois …

8 formal-languages  automata  context-free  pushdown-automata