Perguntas com a marcação «terminology»

Em Teoria da computação de Michael Sipser, na página 270, ele escreve: P = a classe de idiomas para os quais a associação pode ser decidida rapidamente. NP = a classe de idiomas para os quais a associação pode ser verificada rapidamente. Qual é a diferença entre "decidido" e "verificado"?

16 complexity-theory  terminology  decision-problem 

De acordo com a Wikipedia : Informalmente, do ponto de vista da teoria algorítmica da informação, o conteúdo da informação de uma string é equivalente ao comprimento da menor representação possível possível dessa string. Qual é a definição rigorosa informal análoga de "informação útil"? Por que a "informação útil" não …

16 information-theory  terminology  kolmogorov-complexity 

Eu vim a saber que a unidade de processamento gráfico tem algo chamado coalescência de memória. Ao ler sobre isso, não fui claro sobre o assunto. Isso está relacionado ao paralelismo no nível de memória. Pesquisei no Google, mas não consegui obter uma resposta satisfatória. Seria útil se alguém desse …

16 terminology  reference-request  computer-architecture  memory-management 

Encontrei um algoritmo para resolver um problema do mundo real e lembro-me de uma aula que fiz onde fiz algo muito semelhante para alguns para um problema de lição de casa. Basicamente, é um gráfico de pontos, e as linhas são desenhadas para serem equidistantes entre dois pontos. Ele forma …

15 algorithms  data-structures  terminology  computational-geometry 

Não estou claro sobre o uso das frases "infinito" ou "finito" na teoria dos computadores. Penso que a raiz do problema é que uma linguagem como L={ab}∗L={ab}∗L=\{ab\}^* é infinita no sentido de poder gerar um número infinito (mas contável) de seqüências de caracteres. No entanto, ainda pode ser reconhecido por …

15 formal-languages  terminology  regular-languages 

Para medir a complexidade de um algoritmo, é complexidade de tempo ou complexidade computacional? Qual a diferença entre eles? Eu costumava calcular a contagem máxima (pior) da operação básica (mais cara) no algoritmo.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max = 0 …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Existe alguma diferença entre os dois? De acordo com o livro de Ullman , os compiladores convertem um idioma para outro (geralmente de baixo nível), assim como um assembler. Como os dois são diferentes?

14 terminology  compilers 

Da Wikipedia sobre algoritmos aleatórios É preciso distinguir entre algoritmos que usam a entrada aleatória para reduzir o tempo de execução esperado ou o uso da memória, mas sempre terminam com um resultado correto em uma quantidade limitada de tempo e algoritmos probabilísticos , que, dependendo da entrada aleatória, têm …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Eu tento me ensinar o uso do bisonte. A página de manual bison (1) diz sobre o bison: Gere um analisador determinístico de LR ou LR generalizado (GLR) empregando tabelas de analisador LALR (1), IELR (1) ou LR (1) canônico. O que é um analisador IELR? Todos os artigos relevantes …

14 formal-languages  terminology  formal-grammars  parsers 

De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Estou um pouco confuso sobre qual é exatamente o significado de uma 'chave' na ciência da computação. Entendo pares de valores-chave, chaves primárias, etc ... Mas não consigo encontrar uma definição do que o termo 'chave' significa por si só. Tanto quanto posso dizer, significa apenas um pedaço de dados. …

14 terminology 

Enquanto fazia o segundo código kata (que solicita a implementação de um algoritmo de pesquisa binária cinco vezes, cada vez com um método diferente), criei uma solução ligeiramente diferente que funciona da seguinte maneira: Se eu tiver uma matriz classificada com o comprimento 100 e vejo que o campo inicial …

14 algorithms  terminology  search-algorithms  binary-search 

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 …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

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 significado. …

13 formal-languages  terminology  automata  finite-automata  formal-grammars