Perguntas com a marcação «computability»

Máquinas de Turing e gramáticas irrestritas são dois formalismos diferentes que definem as linguagens de ER. Algumas linguagens de ER são decidíveis, mas nem todas são. Podemos definir as linguagens decidíveis com as máquinas de Turing dizendo que uma linguagem é decidível se houver uma TM para a linguagem que …

10 computability  turing-machines  formal-grammars 

Está provado que as redes neurais com pesos racionais têm o poder computacional da computabilidade da Universal Turing Machine Turing com redes neurais . Pelo que entendi, parece que o uso de pesos com valor real gera ainda mais poder computacional, embora eu não tenha certeza disso. No entanto, existe …

10 computability  neural-networks 

Eu tenho a prova de ir de um enumerador para uma Máquina de Turing (continue executando o enumerador e veja se ele corresponde à entrada), mas não vejo como a outra maneira funciona. De acordo com minhas anotações e o livro (Introdução à Teoria da Computação - Sipser), para obter …

10 computability  turing-machines  intuition 

Existe a necessidade de ser infinito para ser indecidível?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quero dizer, e se escolhermos um idioma seja uma versão finita limitada de , ou seja , ( ), com . É possível que seja uma linguagem indecidível? L ⊆ Σ * | L ' | ≤ N N ∈ …

10 formal-languages  computability  undecidability 

Seja A e B idiomas com A ⊆ B, e B é reconhecível por Turing. A não pode ser reconhecido por Turing? Se sim, existe algum exemplo?

10 computability 

OK, então aqui está uma pergunta de um teste passado na minha aula de Teoria da Computação: Um estado inútil em uma TM é aquele que nunca é inserido em nenhuma sequência de entrada. Deixe Prove que \ mathrm {USELESS} _ {\ mathrm {TM}} é indecidível.U S E L E …

10 computability  undecidability  formal-methods  turing-machines 

O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos reais?

10 computability  real-numbers  computable-analysis 

Neste site, existem muitas variantes sobre a questão de saber se as TMs podem decidir o problema da parada, seja para todas as outras TMs ou para certos subconjuntos. Esta questão é um pouco diferente. Ele pergunta se o fato de o problema de parada se aplicar a todas as …

9 computability  turing-machines  undecidability  halting-problem 

Uma declaração do teorema de Rice é apresentada na página 35 de "Complexidade computacional: uma abordagem moderna" (Arora-Barak): Uma função parcial a partir de { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* a { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* é uma função que não está necessariamente definido em todas as …

9 computability  turing-machines  undecidability  rice-theorem 

Ocorreu-me uma pergunta sobre o problema da interrupção e não consegui encontrar uma boa resposta on-line, imaginando se alguém poderia ajudar. É possível que o problema da parada seja decidível para qualquer TM em qualquer entrada, desde que a entrada não seja a própria TM? Basicamente: Halts(TM, I) IF TM …

9 computability  undecidability  halting-problem 

Hoje, no almoço, levantei essa questão com meus colegas e, para minha surpresa, o argumento de Jeff E. de que o problema é decidível não os convenceu ( aqui está uma publicação intimamente relacionada ao mathoverflow). Uma declaração de problema que é mais fácil de explicar ("é P = NP?") …

9 computability  undecidability 

Para provar que a 3 cores é decidível, basta dizer: Cada nó no gráfico possui 3 cores possíveis Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor3n3n3^n Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina …

9 computability  turing-machines  colorings 

Vamos supor que eu tenho duas funções FFF e GGG e estou interessado em determinar se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Vamos supor que minhas funções sejam compostas por funções elementares (polinômios, exponenciais, logs e funções trigonométricas), mas não, digamos, séries de Taylor. Esse problema é decidível? Se não, é semidecidável? …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Este é o seguimento de outra pergunta aqui , e espero que não seja muito filosófico. Como Raphael apontou em um comentário na minha pergunta anterior, eu realmente não entendo a definição de "computável", mas de acordo com alguns artigos que li, a definição também não é muito clara quando …

9 computability  computation-models 

Sou estudante de graduação apenas começando a ler sobre computação reversível. Eu sei que, por causa do princípio de Landauer, cálculos irreversíveis dissipam calor (e reversíveis não). Eu falei com meu professor, que nunca tinha ouvido falar em computação reversível antes, e ele estava tendo dificuldade em entender por que …

9 computability  reversible-computing