Perguntas com a marcação «closure-properties»

Estou interessado em provar que eu--√= { w : w w ∈ L }L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} é regular se euLLé regular, mas parece que não estou chegando a lugar algum. Se possível, eu estava esperando uma dica para me levar na direção certa. Obrigado pela ajuda. Minha idéia para demonstrar a …

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

Defina . Em outras palavras, é o conjunto de primeiras metades de cadeias de comprimento, mesmo em . Diante disso, se é livre de contexto, ser livre de contexto?FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with …

7 formal-languages  context-free  closure-properties 

Digamos que temos três DFAs. Nós sabemos como OR, AND, ou NOT eles. Mas como alguém os XOR? Não há uma única menção a isso online. xX O RyX O Rz= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) …

7 automata  finite-automata  closure-properties 

A classe fechada sob complemento ou é desconhecida? Procurei online, mas não consegui encontrar nada.NPNP\sf NP

7 complexity-theory  closure-properties  complexity-classes  np 

Agora estou bastante confiante em como transformar algo em uma máquina de Turing. Agora, minha pergunta é como você converte a MT em um complemento de uma máquina de Turing. Pelo que me lembro no Autômato Finito, complementando-o, você transformaria um estado inicial em um estado final; também, se você …

7 turing-machines  automata  closure-properties 

Esta é uma pergunta do exame do nosso curso "Autômatos e línguas formais". Há uma pergunta em que é solicitado que prove ou refute que qualquer operação de "complemento relativo" entre duas linguagens sensíveis ao contexto também produzirá uma linguagem sensível ao contexto. Das propriedades de fechamento sensíveis ao contexto …

7 formal-languages  closure-properties  context-sensitive 

A classe de complexidade #P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp é definida como #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Sabe-se que #P#P\sharpp é fechado sob adição, multiplicação e coeficiente binomial. Eu queria saber se está …

7 complexity-theory  turing-machines  closure-properties