Ciência da Computação

Eu gostaria de um exemplo de quine no cálculo lambda puro . Fiquei bastante surpreso por não encontrar um pesquisando no Google. A página quine lista os quines para muitos idiomas "reais", mas não para o cálculo lambda. Obviamente, isso significa definir o que quero dizer com uma solução no …

13 lambda-calculus 

Estou procurando um algoritmo eficiente para o seguinte problema ou uma prova de dureza NP. Deixe ΣΣ\Sigma ser um conjunto e um ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) um conjunto de subconjuntos de ΣΣ\Sigma . Encontrar uma sequência w ∈ Σ *w∈Σ∗w\in \Sigma^* de menos comprimento tal que, para cada L …

13 algorithms  formal-languages  encoding-scheme 

A programação funcional tem o muito elegante Lambda Calculus e suas variantes como uma teoria de backup. Existe algo assim para OOP? O que é uma abstração para o modelo orientado a objetos?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Usando o seguinte algoritmo recursivo de Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Se eu inserir o número 5 para encontrar fib (5), sei que isso produzirá 5, mas como examino a complexidade desse algoritmo? Como calculo as etapas envolvidas?

13 algorithms  time-complexity  recursion 

Existe alguma maneira natural ou notável de relacionar ou vincular grupos de matemática e linguagens formais de CS ou algum outro conceito central de CS, por exemplo, máquinas de Turing? Estou à procura de referências / aplicações. No entanto, note que estou ciente do vínculo entre semigrupos e idiomas CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Eu tenho lido sobre as diferenças entre serializabilidade e linearizabilidade , que são critérios de consistência para sistemas replicados, como bancos de dados replicados. No entanto, não sei em quais casos a linearizabilidade seria necessária, mesmo que seja mais forte que a serialização. Você poderia criar cenários em que essa …

13 concurrency  databases 

Existem caixotes, o i th bin conter um i bolas. As bolas tem n cores, há um i bolas de cor i . Deixe m = Σ n i = 1 um i .nnnEuEuiumaEuumaEua_innnumaEuumaEua_iEuEuim = ∑ni = 1umaEum=∑Eu=1numaEum=\sum_{i=1}^n a_i Uma troca é pegar uma bola de uma caixa e trocar …

13 algorithms  complexity-theory  balls-and-bins 

Vamos linguagem L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* ser regular. Uma fatoração de LL\mathcal{L} é um par máximo (X,Y)(X,Y)(X,Y) de conjuntos de palavras com X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , onde X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅ Y′⊆ …

13 algorithms  regular-languages  optimization 

A saída de um analisador precisa ser uma árvore ou também pode ser um gráfico geral? Além disso, existe alguma linguagem existente ou plausível que use a representação geral de gráficos em vez de árvores para sua sintaxe?

13 compilers  parsing 

A função de turnos máximos do castor ocupado, , possui valores conhecidos para n ≤ 4 . Existe alguma razão estrutural básica por que é inconcebível encontrarmos S ( n ) para n > 4 ? O que há de tão diferente em n = 4 que n = 5 …

13 computability  busy-beaver 

Estou tentando entender o que se entende por "determinístico" em expressões como "gramática determinística livre de contexto". (Existem "coisas" mais determinísticas neste campo). Eu apreciaria um exemplo mais do que a explicação mais elaborada! Se possível. Minha principal fonte de confusão é não poder dizer como essa propriedade de uma …

13 context-free  formal-grammars  parsers 

Suponha que eu tenho um gráfico com M ( L ) do (desconhecido) conjunto de matchings perfeitos de G . Suponha que este conjunto não esteja vazio; então, como é difícil amostrar uniformemente aleatoriamente a partir de M ( G ) ? E se eu estiver bem com uma distribuição …

13 algorithms  complexity-theory  matching  sampling 

Sou um pouco novo, mas muito interessado no campo da teoria da computação e da complexidade, e quero esclarecer meu entendimento sobre como classificar problemas e quão fortemente os problemas estão relacionados à máquina que está sendo usada para resolvê-los. Meu entendimento Máquina de Turing padrão - uma máquina de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Comecei a ler sobre teoria da computação. Se compararmos o que é mais poderoso (na aceitação de strings), ambos são iguais. Mas e quanto à eficiência? O DFA será rápido em comparação com o NFA, pois possui apenas uma borda de saída e não haverá ambiguidade. Mas no caso da …

13 finite-automata  efficiency  nondeterminism 

Existem estruturas robustas no Jogo da Vida de Conway ? Por exemplo, alguém construiu uma nave espacial com um escudo que absorve todos os pequenos osciladores e planadores com os quais colide?

13 cellular-automata