A definição do conjunto de operações permitidas utilizadas para cálculo e seus respectivos custos. Alguns exemplos de modelos incluem máquinas de Turing, funções recursivas, cálculo lambda e sistemas de produção.
Estou fazendo uma apresentação sobre as máquinas de Turing e queria dar uma base sobre os FSMs antes de apresentar as máquinas de Turing. O problema é que eu realmente não sei o que é MUITO diferente um do outro. Aqui está o que eu sei que é diferente: O FSM possui estados seqüenciais,...
Seja uma função construtiva de tempo fixa.fff O resultado clássico da simulação universal para as TMs (Hennie e Stearns, 1966) afirma que existe uma TM duas fitas que, dada aUUU a descrição de uma TM , e⟨M⟩⟨M⟩\langle M \rangle uma sequência de entrada ,xxx corre para as etapas e retorna a...
Da Wikipedia sobre algoritmos aleatórios É preciso distinguir entre algoritmos que usam a entrada aleatória para reduzir o tempo de execução esperado ou o uso da memória, mas sempre terminam com um resultado correto em uma quantidade limitada de tempo e algoritmos probabilísticos , que,...
Ao relatar a complexidade algorítmica de um algoritmo, assume-se que os cálculos subjacentes são executados em alguma máquina abstrata (por exemplo, RAM) que se aproxima de uma CPU moderna. Tais modelos nos permitem relatar a complexidade de algoritmos no tempo e no espaço. Agora, com a expansão...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
A questão é o exercício 1.9 do livro de Arora-Barak, Computational Complexity - A Modern Approach : Defina uma máquina de RAM Turing para ser uma máquina de Turing com memória de acesso aleatório. Formalizamos da seguinte maneira: A máquina possui uma matriz infinita A que é inicializada em...
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Dizem que "a máquina de Turing não é uma tecnologia de computação prática, mas um dispositivo hipotético que representa uma máquina de computação. As máquinas de Turing ajudam os cientistas da computação a entender os limites da computação mecânica". [Wikipedia] Então, em qual modelo as máquinas...
Qual modelo paralelo teórico é o mais próximo do modelo de programação CUDA / OpenCL? Por exemplo, ele se encaixa em algum grau ao modelo genérico da máquina de acesso aleatório paralelo (PRAM). No entanto, isso é genérico demais, pois abstrai várias latências de acesso à memória e problemas de...
Se limitarmos uma máquina de turing para que não seja permitido escrever o símbolo que ela lê, reduziria sua potência? Por exemplo: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA não pode ser o mesmo símbolo que ZZZ.
Embora eu já tenha aprendido algo sobre os tempos de execução assintóticos dos algoritmos de multiplicação de matrizes (algoritmo de Strassen e coisas semelhantes), nunca encontrei nenhuma referência explícita e satisfatória a um modelo de computação usado para medir essa complexidade. De fato,...
Eu estava estudando a prova de que a função de Ackermann era recursiva, mas não primitiva, e uma pergunta me ocorreu: "E daí?". Por que isso Importa? Qual é o significado das funções recursivas
Eu estava pensando outro dia, e me ocorreu que todos os programas de computador parecem representáveis como um gráfico (uma árvore de sintaxe abstrata, por exemplo) ou, uma vez que expressões comuns são combinadas, um gráfico de sintaxe abstrata. Ocorreu-me que talvez qualquer programa de...