Perguntas com a marcação «computability»

Que eu saiba, interromper o problema pergunta se existe um programa que decide se um programa está sendo testado, dados alguns dados de entrada (não importa qual programa seja ou quais dados de entrada que fornecemos) serão encerrados ou não. A resposta para esse problema é 'não'. Em outras palavras, …

8 computability  halting-problem 

Quero determinar se esse problema de decisão é decidível. Eu tentei estabelecer reduções de Halt e "Aceita string vazia", ​​mas ainda não encontrei uma solução. Alguém pode me ajudar?

8 computability  turing-machines  undecidability 

Por exemplo, podemos dizer que temos um programa abstrato que, dada uma string binária finita como entrada, remove todos os zeros (ou seja, 0010001101011 é avaliado como 111111), que é definitivamente uma função computável de Turing. Como um sistema de tag cíclico calcula isso (o que pode, por definição, ser …

8 computability  turing-machines 

Pela tese de Church-Turing, é impossível projetar um algoritmo para decidir o problema da parada. A palavra algoritmo, neste contexto, inclui inteligência artificial ou não, isto é, a tese de Church-Turing também se aplica à inteligência artificial? É possível projetar um sistema de inteligência no futuro para resolver esse problema …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

é possível minimizar os autômatos de empilhamento? Se não, por quê? É porque, para minimização, as classes de equivalência precisam ter um índice finito e não podemos garantir isso para o CFG?

8 computability  automata  pushdown-automata 

Quando ouvi essas coisas pela primeira vez, fiquei muito fascinado, pois pensava que isso realmente limita a matemática e as ciências em geral. Mas quão praticamente relevantes são essas coisas? Para o problema da parada: Existem mais do que alguns casos construídos artificialmente, em que não se pode decidir se …

8 computability  logic  halting-problem  applied-theory 

Como estudei, decidir a regularidade das linguagens sem contexto é indecidível. No entanto, podemos testar a regularidade usando o teorema de Myhill-Nerode, que fornece uma condição necessária e suficiente. Portanto, o problema deve ser decidido. Onde está meu erro?

8 formal-languages  computability  regular-languages  undecidability 

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 

Nosso PC funciona como uma máquina de Turing? O modelo de uma máquina de Turing consiste em fita de memória infinita, o que significa estados infinitos. Mas suponha que se nosso PC tiver 128 MB de memória e disco de 30 GB, ele terá 256 ^ 30128000000 estados e, portanto, …

8 complexity-theory  computability  turing-machines  automata 

Se você tem um idioma L, sem fazer nenhuma prova, há uma maneira de saber se é reconhecível ou co-reconhecível ou decidível? Basicamente, todas as dicas ou truques que podem ser usados ​​para contar. Ou talvez os padrões comuns a serem pesquisados ​​para saber qual é o tipo?

8 computability  undecidability  intuition 

Dado n∈Nn∈Nn \in \mathbb{N} e p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] pode-se definir a seguinte fórmula na linguagem da aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Eu gostaria de mostrar que existem infinitos triplos (n,p,q)(n,p,q)(n,p,q) de modo que nem φ(n,p,q)φ(n,p,q)\varphi(n,p,q) nem ¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) é um teorema …

8 computability  logic  undecidability 

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 

Gostaria da sua ajuda para provar que o idioma é decidível se .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Se , entendi que é a linguagem das máquinas de Turing vazias. Então é um problema - mas não é isso que está sendo perguntado, então fiquei confuso.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Eu …

8 computability  undecidability  p-vs-np 

As máquinas de Turing têm uma descrição formal do alfabeto de símbolos, estado e regras de transição de como é feita uma computação. Às vezes, o modelo do ator é mencionado como um modelo computacional mais poderoso do que as máquinas de Turing (não no que ele pode calcular, mas …

8 terminology  computability  reference-request  programming-languages  computation-models 

Seja um conjunto não trivial de linguagens recursivamente enumeráveis ​​( ) e seja L o conjunto de codificações de máquinas de Turing que reconhecem algum idioma em C : L = \ {\ langle M \ rangle \ mid L (M) \ em C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M …

8 computability  turing-machines