Ciência da Computação reference-question

6

Sou nerd de computador há muitos e muitos anos. Eu posso programar em várias línguas e até construí-las. Outro dia, sentei-me com um amigo e perguntei como um computador realmente leva eletricidade e faz alguma coisa com ele, e simplesmente não conseguimos descobrir, e o Google também não ajudou muito. …

40 computer-architecture education reference-question

6

Classificando funções por crescimento assintótico

Suponha que eu tenha uma lista de funções, por exemplo nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Como os classifico assintoticamente, ou seja, após a relação definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , assumindo que eles são realmente comparáveis aos pares (veja também …

35 asymptotics landau-notation reference-question

7

Como o computador determina se um número é menor ou maior que outro?

Pode parecer uma pergunta estúpida, mas estou realmente curioso para saber como um computador sabe disso ? Além disso, como um computador sabe que a ordem do número inteiro é 1 , 2 , 3 , 4 , 5 , … e o alfabeto é A, B, C, D, ...? …

34 computer-architecture reference-question

4

Como O e Ω se relacionam com o pior e o melhor caso?

Hoje discutimos em uma palestra um algoritmo muito simples para encontrar um elemento em uma matriz classificada usando pesquisa binária . Nos pediram para determinar sua complexidade assintótica para uma matriz de nnn elementos. Minha idéia era que, obviamente, é ou seja mais específico porque é o número de operações …

33 algorithm-analysis asymptotics landau-notation reference-question

2

Como provar que uma linguagem é livre de contexto?

Existem muitas técnicas para provar que uma linguagem não é livre de contexto, mas como posso provar que uma linguagem é livre de contexto? Que técnicas existem para provar isso? Obviamente, uma maneira é exibir uma gramática sem contexto para o idioma. Existem técnicas sistemáticas para encontrar uma gramática livre …

26 formal-languages context-free formal-grammars proof-techniques reference-question

1

Como mostrar que L = L (G)?

Especificar linguagens formais dando gramáticas formais é uma tarefa frequente: precisamos de gramáticas não apenas para descrever as línguas, mas também para analisá-las ou mesmo fazer a ciência apropriada . Em todos os casos, é importante que a gramática em questão esteja correta , ou seja, gere exatamente as palavras …

22 formal-languages formal-grammars proof-techniques reference-question

1

Como escrevo uma prova usando indução no comprimento da string de entrada?

No meu curso de teoria da computação, muitos dos nossos problemas envolvem o uso de indução no comprimento da string de entrada para provar declarações sobre autômatos finitos. Eu entendo a indução matemática, no entanto, quando as cordas entram em jogo, eu fico tropeçando de verdade. Eu realmente apreciaria se …

20 automata finite-automata proof-techniques reference-question induction

1

O que há de errado com a minha prova de lema?

O idioma é obviamente regular - por exemplo, corresponde à expressão regular . Mas o seguinte argumento do lema de bombeamento parece mostrar que não é regular. O que deu errado?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Eu encontrei uma maneira de dividir uma …

8 formal-languages regular-languages proof-techniques pumping-lemma reference-question

Perguntas com a marcação «reference-question»