Perguntas com a marcação «terminology»

Depois de ler várias fontes, ainda estou confuso sobre os threads no nível do usuário e do kernel. Em particular: Os encadeamentos podem existir no nível do usuário e no nível do kernel Qual é a diferença entre o nível do usuário e o kernel?

33 operating-systems  terminology  concurrency  os-kernel 

Acabei de concluir o primeiro capítulo da Introdução à Teoria da Computação, de Michael Sipser que explica o básico dos autômatos finitos. Ele define uma linguagem regular como qualquer coisa que possa ser descrita por um autômato finito. Mas não consegui encontrar onde ele explica por que um idioma comum …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Existem muitas definições on-line sobre o que é uma gramática livre de contexto, mas nada que eu encontre satisfaça meu principal problema: De que contexto é livre? Para investigar, pesquisei no Google "gramática sensível ao contexto", mas ainda não consegui encontrar o que era o "contexto". Alguém pode explicar a …

30 terminology  context-free  formal-grammars 

O que é uma boa metáfora ou exemplo para explicar a um inglês importante a diferença entre a ciência clássica da computação e "ser bom em usar o MS-Windows" Ciência da Computação programação de computadores usando computadores 3 coisas profundamente diferentes. A maioria das pessoas não tem idéia do que …

30 terminology  education 

Que diferenças e relações existem entre algoritmos aleatórios e algoritmos não determinísticos? Da Wikipedia Um algoritmo aleatório é um algoritmo que emprega um grau de aleatoriedade como parte de sua lógica. O algoritmo normalmente usa bits aleatoriamente uniformes como uma entrada auxiliar para orientar seu comportamento, na esperança de obter …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Eu estudo os compiladores há algum tempo e tenho pesquisado o que significa "contexto" na gramática e o que significa que a gramática é "livre de contexto", mas sem resultado. Então, alguém pode ajudar com isso?

29 terminology  context-free  formal-grammars 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Frequentemente ouço frases como 'semântica de simultaneidade verdadeira' e 'equivalências de simultaneidade verdadeira' sem nenhuma referência. O que significam esses termos e por que são importantes? Quais são alguns exemplos de verdadeiras equivalências de simultaneidade e qual é a necessidade delas? Por exemplo, em quais casos eles são mais aplicáveis …

28 terminology  reference-request  concurrency 

Estou fazendo uma apresentação sobre as máquinas de Turing e queria dar uma base sobre os FSMs antes de apresentar as máquinas de Turing. O problema é que eu realmente não sei o que é MUITO diferente um do outro. Aqui está o que eu sei que é diferente: O …

27 terminology  turing-machines  finite-automata  machine-models 

Parece-me que o "implica" no idioma inglês não significa a mesma coisa que o operador lógico "implica", de maneira semelhante como a palavra "OR" na maioria dos casos significa "OR exclusivo" em nosso uso cotidiano da linguagem. Vamos dar dois exemplos: Se hoje é segunda-feira, amanhã é terça-feira. Isso é …

24 terminology  logic  first-order-logic  propositional-logic 

Se eu tiver alguma função cuja complexidade de tempo seja O ( mn ), onde m e n são os tamanhos de suas duas entradas, chamaríamos sua complexidade de tempo de "linear" (já que é linear em m e n ) ou "quadrática" ( já que é um produto de …

24 terminology  asymptotics  landau-notation 

Em um artigo recente do CACM [1], os autores apresentam uma implementação para funções em etapas . Eles usam o termo como se fosse bem conhecido, e nenhuma das referências parece uma introdução óbvia. Eles dão uma breve explicação (os meus enfatizam e o número de referência mudou; são 22 …

24 terminology  programming-languages  meta-programming 

Essas terminologias me confundem. Como eu entendo Solucionador SAT: decida a satisfação da lógica proposicional (usando DPLL ou Local Search). Procedimento de decisão é um procedimento para decidir a satisfação de uma certa teoria de primeira ordem decidível. O SMT Solver é um procedimento SAT Solver + Decision. O provador …

24 algorithms  terminology  reference-request  decision-problem 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou um pouco confuso com alguma terminologia que encontrei em relação à complexidade dos problemas de otimização. Em uma classe de algoritmos, tive o grande problema de parcimônia descrito …

24 complexity-theory  np-complete  terminology 

Eu li essas palavras em várias publicações e gostaria de ter algumas boas definições para esses termos, que deixam claro qual é a diferença entre detecção de objeto e segmentação semântica e localização. Seria bom se você pudesse fornecer fontes para suas definições.

23 terminology  computer-vision