A complexidade do prefixo Kolmogorov (ou seja, é o tamanho do programa auto-delimitador mínimo que gera ) possui vários recursos interessantes:xK( X )K(x)K(x)xxx Corresponde a uma intuição de fornecer a strings com padrões ou estrutura uma complexidade menor do que strings sem. Ela nos permite...
Você pode modelar transmissões confiáveis no cálculo pi? Se sim: como? Caso contrário: existem álgebras de processo semelhantes onde você pode? O que eu tentei: Se o remetente quiser enviar uma mensagem y para todos os P 1 a P n , você poderá escrever ! ( ¯ x y ) . S e x ( z ) . P 1 a x...
Eu achei os sistemas de transição rotulados um bom modelo para o meu aplicativo, ou seja, há um artigo sobre modelagem de casos de uso usando LTSs. A questão é: o que pode ser facilmente comprovado sobre os LTSs? Gostaria de reutilizar as soluções existentes para verificar se elas são úteis para...
Estou traduzindo um livro sobre LISP e, naturalmente, ele toca alguns elementos do -calculus. Portanto, uma noção de extensionalidade é mencionada ao lado de alguns modelos de -calculus, a saber: e (sim, com o infinito no topo). E é dito que é extensional, enquanto não é.λλ\lambdaP ω D ∞ P ω D...
Possuo um livro que, inspirado nos Principia Mathematica de Russell e no positivismo lógico, tenta formalizar um domínio específico, determinando axiomas e deduzindo deles teoremas. Em suma, ele tenta fazer por seu domínio o que o PM tentou fazer pela matemática. Como o PM, foi escrito antes que a...
Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos. Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de...
Esta é uma pergunta que fiz no fórum de matemática SE, e fui encaminhada aqui. Então aqui está a questão- Eu sou um novato em matemática formal e em ciência da computação teórica, então, por favor, tenha paciência comigo se achar que minha pergunta não está devidamente enquadrada. A Modelagem...
Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de...