Existe um algoritmo / procedimento sistemático para testar se uma linguagem é livre de contexto? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é livre de contexto ou não . Imagine que estamos escrevendo um serviço da Web para ajudar os...
Considere o seguinte programa de computador muito simples: for i = 1 to n: y[i] = x[p[i]] Aqui e y são n matrizes -element de bytes, e p é um n matriz -element de palavras. Aqui n é grande, por exemplo, n = 2 31 (para que apenas uma fração desprezível dos dados caiba em qualquer tipo de memória...
Dado um dado tendencioso do lado , como um número aleatório no intervalo ser gerado uniformemente? A distribuição de probabilidade das faces do dado não é conhecida, tudo o que se sabe é que cada face tem uma probabilidade diferente de zero e que a distribuição de probabilidade é a mesma em todos...
Ao pensar em um problema, percebi que precisava criar um algoritmo eficiente para resolver a seguinte tarefa: O problema: recebemos uma caixa quadrada bidimensional do lado nnn cujos lados são paralelos aos eixos. Podemos examiná-lo através do topo. No entanto, também existem mmm segmentos...
A Classificação Rápida Aleatória é uma extensão da Classificação Rápida, na qual o elemento dinâmico é escolhido aleatoriamente. Qual pode ser a pior complexidade de tempo desse caso? De acordo com mim, deve ser , como o pior caso ocorre quando o pivô escolhido aleatoriamente é selecionado na ordem...
Dizem que 'Eugene Goostman', um programa de computador desenvolvido para simular um garoto de 13 anos, conseguiu convencer 33% dos juízes de que era humano e, assim, passou no Teste de Turing. O programa de computador, também conhecido como chatbot, estava fingindo ser um garoto ucraniano de 13...
O conjunto de Mandelbrot é uma bela criatura em matemática. Existem muitas imagens bonitas desse conjunto criadas com alta precisão, portanto, obviamente, esse conjunto é "computável" em algum sentido. No entanto, o que me preocupa é o fato de que nem sequer é recursivamente enumerável -...
Graças ao teorema min-cut de fluxo máximo, sabemos que podemos usar qualquer algoritmo para calcular um fluxo máximo em um gráfico de rede para calcular um -min-cut. Portanto, a complexidade de calcular um corte mínimo ( s , t ) não é mais do que a complexidade de calcular um fluxo máximo ( s , t )...
A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de...
Eu sei que os computadores quânticos são capazes de processar uma superposição de todos os estados possíveis com uma única passagem pela lógica. Parece ser o que as pessoas apontam como sendo o que torna os computadores quânticos especiais ou úteis. No entanto, após o processamento das entradas...
Eu tenho uma pequena questão histórica, a saber, como o título diz, estou procurando usos iniciais de árvores (como estrutura de dados, árvore de pesquisa, o que for) na ciência da
A memória é usada para muitas coisas, como eu entendo. Ele serve como cache de disco e contém as instruções dos programas e sua pilha e pilha. Aqui está um experimento mental. Se alguém não se importa com a velocidade ou o tempo que leva para um computador fazer a trituração, qual é a quantidade...
Estou surpreso que as pessoas continuem adicionando novos tipos nas teorias de tipos, mas ninguém parece mencionar uma teoria mínima (ou não a consigo encontrar). Eu pensei que os matemáticos amam coisas mínimas, não amam? Se bem entendi, em uma teoria de tipos com impredicative Prop, a abstração...
Conheço pouca teoria dos tipos dependentes. Da wikipedia: Um tipo dependente é um tipo cuja definição depende de um valor. E do meu curso de teoria dos tipos, lembro que um tipo dependente é: Família de tipos indexados por um tipo. Mas eu tenho uma confusão sobre tipos dependentes e tipos...
No artigo "Um tipo de dados JSON replicado sem conflito" , encontrei essa notação para definir formalmente "regras": Como é chamada essa notação? Como eu o leio? Por exemplo: a DOCregra não tem nada no seu "numerador" - por que não? as regras EXECe GETparecem ter dois termos separados acima...
Configuração: expressões regulares com referências anteriores idioma unário (alfabeto de 1 símbolo) O seguinte problema é decidível nessa configuração: Dada uma expressão regular com referências anteriores, ela define um idioma regular? Por exemplo, (aa+)\1define um idioma regular, enquanto...
Eu tenho um problema de decisão NP-completo. Dada uma instância do problema, eu gostaria de criar um algoritmo que produza SIM, se o problema for possível e, NÃO, caso contrário. (Obviamente, se o algoritmo não for ideal, ele cometerá erros.) Não consigo encontrar algoritmos de aproximação para...
A questão subjacente: O que o cálculo lambda faz por nós que não podemos fazer com as propriedades básicas da função e notação geralmente aprendidas na álgebra do ensino médio? Antes de tudo, o que significa abstrato no contexto do cálculo lambda? Minha compreensão da palavra abstrato é algo que...
Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Temos lido sobre algoritmos para MST, conectividade...
Uma gramática livre de contexto pode incluir "estados mortos" de um autômato, como G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? As regras de produção e se sempre e nunca geram...