Eu estava pensando em provas e tive uma observação interessante. Portanto, as provas são equivalentes aos programas pelo isomorfismo de Curry-Howard, e as provas circulares correspondem a uma recursão infinita. Mas sabemos do problema da parada que, em geral, testar se um programa arbitrário se...
Parece que "Expressões regulares básicas", conforme definidas no POSIX.1-2008 , não suportam alternância a|b(embora algumas implementações grep reconheçam a versão de escape \|). Como as linguagens regulares são fechadas sob união por definição, isso significa que o POSIX BRE possui um poder menos...
Estou lendo um artigo, e ele diz na descrição da complexidade do tempo que a complexidade do tempo é .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) Pesquisei na Internet e na Wikipedia, mas não consigo encontrar o que esse til significa na notação big-O / Landau. No próprio artigo, também não encontrei...
Eu continuo ouvindo sobre como é preciso aprender a teoria das categorias para realmente entender a teoria da linguagem de programação. Até agora, aprendi bastante PL sem nunca entrar no campo das categorias. No entanto, achei que era hora de dar o salto para ver o que estava
Parece que eu encontrei uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda: Defina um subprocedimento auxiliar com um parâmetro "resultado" extra. Aplique o que seria aplicado ao valor de retorno do procedimento a esse parâmetro. Ligue para este procedimento...
Amanhã é a minha apresentação e quero esclarecer meus conceitos ... Eu li no DFA: "Para cada estado, a transição em todos os símbolos possíveis (alfabeto) deve ser definida". Para cada estado, a transição de todos os símbolos possíveis é obrigatória no DFA? Se não, por favor, dê alguns...
Estou estudando linguagens formais e sistemas de bases de produção (sistemas de bases de regras) e estou um pouco confuso sobre por que essas duas palavras "produção" e "regra" significam a mesma coisa em tantos contextos na Ciência da Computação. No idioma inglês, eles não parecem ter o mesmo...
Enquanto fazia a tarefa atual para meus idiomas formais e curso de autômatos, eu meio que fiquei preso em exercícios envolvendo idiomas unários (espero que seja o termo certo), ou seja, idiomas que se baseiam em uma única letra. Porém, não quero perguntar sobre os exercícios específicos, mas sobre...
Existem algoritmos conhecidos para problemas formulados que requerem uma complexidade ESPAÇO de O (sqrt (N))? Eu sei que existem algoritmos com essa complexidade
Se eu tiver duas matrizes e , das dimensões e , respectivamente, e quiser calcular , é mais eficiente reescrever a expressão como e só então avaliar numericamente, porque é da dimensão mas é da dimensão
Suponha que exista uma sessão de tutorial em uma universidade. Temos um conjunto de perguntas e um conjunto de alunos . Cada aluno tem uma dúvida em um determinado subconjunto de perguntas, ou seja, para cada aluno , seja o conjunto de perguntas que um aluno duvida. Assume-se que e...
Eu estava pensando em gramáticas para linguagens sensíveis a indendências e parece que as gramáticas CF fariam o truque se combinadas com parâmetros. Como exemplo, considere este fragmento para gramática simplificada do Python no formato ANTLR: // on top-level the statements have empty...
Dadas duas strings, como você pode verificar se elas são permutadas uma da outra usando o espaço O (1)? Modificar as strings não é permitido de forma alguma. Nota: O (1) espaço em relação ao comprimento da string E ao tamanho do
Acho que estou bastante confuso sobre o que é chamado de cálculo e o que é chamado de linguagem de programação. Costumo pensar, e pode ter sido dito, que um cálculo é um sistema formal de raciocínio sobre a equivalência de programas. Os programas têm uma semântica operacional especificada por uma...
A literatura é bastante clara que RAMs de custo unitário com multiplicação primitiva são irracionais, pois não pode ser simulado por máquinas de Turing em tempo polinomial pode resolver problemas completos do PSPACE em tempo polinomial No entanto, todas as referências que posso encontrar sobre...
Portanto, a classificação por mesclagem é um algoritmo de divisão e conquista. Enquanto eu observava o diagrama acima, estava pensando se era possível ignorar basicamente todas as etapas de divisão. Se você iterou sobre a matriz original enquanto pulava duas vezes, poderia obter os elementos no...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 2 anos . Os tipos AFAIU podem ser a...
Sou programador com domínio de autômatos, mas não de lógica. Li nos jornais que os dois estão muito relacionados. Autômatos finitos determinísticos (DFA), autômatos em árvore e autômatos visivelmente pushdown estão todos relacionados à lógica monádica de segunda ordem (MSO). Embora eu entenda que...
Acredito que isso seja verdade, mas também não consegui uma prova formal. Mas é verdade que qualquer árvore de abrangência mínima é alcançável aplicando o algoritmo de Kruskal? Da mesma forma, isso é verdade para o algoritmo de Prim? EDIT: Para ser mais preciso, quero saber se é fornecido um MST...
Aqui está o contexto ( Estrutura e Interpretação de Programas de Computador , seção 1.1.8, sob o título "Nomes locais"): Um parâmetro formal de um procedimento tem um papel muito especial na definição do procedimento, pois não importa qual o nome do parâmetro formal. Esse nome é chamado de...