Pelo meu entendimento, Turing complete significa que o programa ou a máquina pode concluir qualquer cálculo que uma máquina de Turing possa concluir, o que para mim significa qualquer cálculo. Então, como algo como HTML ou PowerPoint pode ser Turing
Lendo o artigo Uma Introdução ao Cálculo Lambda , me deparei com um parágrafo que eu realmente não entendia, na página 34 (em itálico): Dentro de cada um dos dois paradigmas, existem várias versões do cálculo lambda digitado. Em muitos sistemas importantes, especialmente nos da Igreja, os termos...
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...
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...
Se são diferentes, quais são os problemas típicos em cada um que não se enquadram na outra categoria? Ou são mutuamente exclusivos ou um captura completamente o
A teoria do domínio fornece uma incrível teoria da computabilidade na presença de tipos simples. Mas quando o polimorfismo paramétrico é adicionado, não parece haver uma teoria legal que explique o que está acontecendo tão bem quanto a teoria de domínio explica a computação por tipos simples....
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 , o , p , q, r , s , t , u , v , w , x , y,
Eu estava olhando para esta leitura do MIT sobre complexidade computacional e, às 15:00, Erik Demaine embarca em uma demonstração para mostrar o que é afirmado no título desta pergunta. No entanto, não posso seguir seu raciocínio, na prática o que ele diz é o seguinte: podemos declarar um problema...
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...
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, estados finitos. Eu sei que...
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...
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
Seja pára em cada entrada no máximoetapas .L={<M>|ML={<M>|ML = \{ | Mxxx200∗|x|200∗|x|200 * |x|}}\} é decidível? Reconhecível?LLL Dado que a participação em afirma algo sobre o comportamento de em um conjunto infinito de strings, parece extremamente improvável para mim que possa ser....
é 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
Toda vez que acho que entendo o que o teorema de Rice significa, encontro um contra-exemplo para me confundir. Talvez alguém possa me dizer onde estou pensando errado. Vamos usar uma propriedade não trivial do conjunto de funções computáveis, por exemplo, deixe . Obviamente, é infinito contável e...
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...
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
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...
E se f: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} é computável e tem um inverso, sob quais condições é f- 1f−1f^{-1}também computável? Não consegui encontrar isso em um livro didático, e o google recebe algumas sugestões vagas sobre o bijetivo, mas não consegui encontrar um teorema claramente...
Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da