Como você verifica se dois algoritmos (por exemplo, classificação de mesclagem e classificação Naïve) retornam o mesmo resultado para qualquer entrada, quando o conjunto de todas as entradas é infinito? Atualização: Obrigado Ben por descrever como isso é impossível de ser feito algoritmicamente no...
Quero saber se o seguinte problema é decidível e como descobrir. Todos os problemas que vejo podem dizer "sim" ou "não" a ele; portanto, a maioria dos problemas e algoritmos é decidível, exceto alguns (que são fornecidos aqui )? Entrada: Um gráfico direcionado e finito , com v e u como vértices....
Quais operações precisam ser executadas para realizar qualquer cálculo analógico arbitrário ? Adição, subtração, multiplicação e divisão seriam suficientes? Além disso, alguém sabe exatamente quais problemas são tratáveis usando computação analógica, mas não com...
Observe que esta é uma pergunta relacionada ao estudo em um curso de CS em uma universidade, NÃO é tarefa de casa e pode ser encontrada aqui no exame do outono de 20112. Aqui estão as duas perguntas de um exame passado. Eles parecem estar relacionados, o primeiro: Deixei F I N I T EC F G= {...
Dadas as línguas e , digamos que sua concatenação seja inequívoca se, para todas as palavras , houver exatamente uma decomposição com e e ambígua caso contrário. (Não sei se existe um termo estabelecido para essa propriedade - coisa difícil de procurar!) Como um exemplo trivial, a concatenação de...
O problema de dois autômatos de pushdown reconhecerem o mesmo idioma é indecidível. O problema de decidir se um autômato de empilhamento reconhece o idioma vazio é decidível; portanto, também é decidível se ele reconhece um determinado idioma finito. É indecidível se o idioma aceito por um autômato...
Não existe uma solução analítica geral para o problema do corpo n que possa produzir uma função analítica que possa ser usada para fornecer o estado de um sistema n corpo no tempo arbitrário t com precisão exata. No entanto, existem alguns casos especiais de sistemas com n corpos, pelos quais é...
Nesta questão, consideramos apenas máquinas de Turing que param em todas as entradas. Se , em , denotamos a máquina de Turing cujo código é .T k kk∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Considere a seguinte função s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k)...
Um conjunto é contável se tiver uma bijeção com os números naturais e é computávelmente enumerável (ce) se houver um algoritmo que enumere seus membros. Qualquer conjunto enumerável computacionalmente não finito deve ser contável, pois podemos construir uma bijeção a partir da enumeração. Existem...
As máquinas de balcão com dois ou mais contadores geralmente são equivalentes às máquinas de Turing em cursos sobre a teoria da computação. No entanto, eu não vi uma análise formal de quais idiomas podem ser reconhecidos por uma máquina de balcão único. Essas linguagens são equivalentes às...
Dado um idioma , defina o conjunto de comprimentos de como o conjunto de comprimentos de palavras em : LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quais conjuntos de números inteiros podem ser o comprimento de um idioma
Em uma palestra, um professor mencionou que os computadores modernos não têm tanto poder computacional quanto uma máquina de Turing porque não têm memória infinita e, como nenhum computador pode ter memória infinita, a máquina de Turing é, portanto, inatingível e simplesmente representa o limite...
Estou usando um computador digital para escrever esta mensagem. Essa máquina possui uma propriedade que, se você pensar bem, é realmente notável: é uma máquina que, se programada adequadamente, pode executar qualquer cálculo possível . Obviamente, máquinas de calcular de um tipo ou de outro...
Existem propriedades indecidíveis de autômatos limitados lineares (evitando o truque de linguagem de conjunto vazio)? Que tal um autômato finito determinístico? (deixe de lado a intratabilidade). Gostaria de obter um exemplo (se possível) de um problema indecidível definido sem o uso explícito de...
Quero saber se o seguinte problema é decidível: Instância: um NFA A com n estados Pergunta: Existe algum número primo p tal que A aceite alguma sequência de comprimento p. Minha crença é que esse problema é indecidível, mas não posso provar. O decisor pode facilmente ter um algoritmo para...
Se fato é igual a N P , como isso aprimora nossos algoritmos para fatorar números inteiros mais rapidamente. Em outras palavras, que tipo de insight esse fato nos daria para entender melhor a fatoração inteira?PP{\sf P}N PNP{\sf
Eu tenho essas perguntas de um exame antigo que estou tentando resolver. Para cada um dos problemas, a entrada é uma codificação de uma máquina de Turing .MMM Para um número inteiro e os três problemas a seguir:c > 1c>1c>1 É verdade que, para cada entrada , M não passa na posição ao...
Pergunto-me como é que que a seguinte linguagem é em .RR\mathrm R euM1= { ⟨ M2⟩∣∣M2 é uma MT e L ( M1) = L ( M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and }...
Eu estava procurando por problemas abertos interessantes e fáceis de declarar em computabilidade (compreensível por estudantes de graduação que fazem seu primeiro curso em computabilidade) para dar exemplos de problemas abertos (e obviamente eu quero que os alunos possam entender o problema sem...
Linguagens como são sob muitas one-redução. É trivial ver que tem problemas completos. S. Schmitz [1] considera algumas classes entre e . Eles apresentam problemas completos para essas classes sob reduções especificamente criadas.HALTTMHALTTM\text{HALT}_{TM}