Perguntas com a marcação «computability»

Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim). Naturalmente, …

17 computability  reference-request  turing-machines  halting-problem 

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 caso geral. A resposta de Dave …

17 computability  formal-methods  software-engineering  software-verification 

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 digital?

17 computability  computation-models  turing-completeness 

Ouvi dizer que a interação do lema é mais poderosa que os algoritmos de Peter Wegner . A base da ideia é que uma Máquina de Turing (clássica) não pode lidar com interação, ou seja, comunicação (entrada / saída) com o mundo / ambiente externo. Como isso pode ser assim? …

17 computability  computation-models 

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 …

17 algorithms  computability  graph-theory  undecidability 

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 consigo …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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 de empilhamento …

16 computability  undecidability  pushdown-automata 

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 …

16 computability  turing-machines  undecidability  computation-models 

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) \cap \{x,y\}| = 1\} Em outras palavras, s(x,y)s(x,y)s(x,y) é o código …

16 computability  turing-machines 

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 …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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 linguagens livres …

15 computability  automata 

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 superior. de computação. Existe uma …

15 computability 

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 remontam à antiguidade. As pessoas …

15 computability  turing-machines  history 

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 máquinas de Turing . A integridade de …

15 computability  automata  undecidability 

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 exemplos de conjuntos contáveis ​​que não …

15 computability  semi-decidability