Preguntas etiquetadas con terminology

Después de leer varias fuentes, todavía estoy confundido acerca de los hilos de nivel de usuario y kernel. En particular: Los hilos pueden existir tanto a nivel de usuario como a nivel de núcleo ¿Cuál es la diferencia entre el nivel de usuario y el nivel de kernel?

33 operating-systems  terminology  concurrency  os-kernel 

Acabo de completar el primer capítulo de Introducción a la teoría de la computación de Michael Sipser que explica los conceptos básicos de los autómatas finitos. Él define un lenguaje regular como cualquier cosa que pueda ser descrita por un autómata finito. Pero no pude encontrar dónde explica por qué …

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

Hay muchas definiciones en línea sobre lo que es una gramática libre de contexto, pero nada de lo que encuentro satisface mi problema principal: ¿De qué contexto está libre? Para investigar, busqué en Google "gramática sensible al contexto" pero todavía no pude encontrar de qué se trataba el "contexto". ¿Alguien …

30 terminology  context-free  formal-grammars 

¿Cuál es una buena metáfora o ejemplo para explicar a un estudiante de inglés la diferencia entre la informática clásica y "ser bueno usando MS-Windows"? Ciencias de la Computación programación de computadoras usando computadoras 3 cosas profundamente diferentes. La mayoría de la gente no tiene idea de qué es la …

30 terminology  education 

¿Qué diferencias y relaciones hay entre los algoritmos aleatorios y los algoritmos no deterministas? De Wikipedia UNA algoritmo aleatorio es un algoritmo que emplea un grado de aleatoriedad como parte de su lógica. El algoritmo generalmente utiliza bits aleatorios uniformes como entrada auxiliar para guiar su comportamiento, con la esperanza …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

He estado estudiando compiladores durante un tiempo, y he estado buscando lo que se entiende por "contexto" en gramática y lo que significa que la gramática esté "libre de contexto", pero sin resultado. Entonces, ¿alguien puede ayudar con esto?

29 terminology  context-free  formal-grammars 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

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 

A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas? Por ejemplo, ¿en qué casos son más aplicables …

28 terminology  reference-request  concurrency 

Estoy haciendo una presentación sobre las máquinas Turing y quería dar algunos antecedentes sobre los FSM antes de presentar las máquinas Turing. El problema es que realmente no sé qué es MUY diferente el uno del otro. Esto es lo que sé que es diferente: FSM tiene estados secuenciales dependiendo …

27 terminology  turing-machines  finite-automata  machine-models 

Si tengo alguna función por su complejidad, el tiempo es O ( mn ), donde m y n son los tamaños de sus dos entradas, tendría que llamar a su complejidad tiempo "lineal" (ya que es lineal en ambos m y n ) o "cuadrática" ( ya que es un …

24 terminology  asymptotics  landau-notation 

Me parece que 'implica' en el idioma inglés no significa lo mismo que el operador lógico 'implica', de manera similar a cómo la palabra 'OR' en la mayoría de los casos significa 'OR exclusivo' en nuestro uso cotidiano del idioma. Tomemos dos ejemplos: Si hoy es lunes, mañana es martes. …

24 terminology  logic  first-order-logic  propositional-logic 

En un artículo reciente de CACM [1], los autores presentan una implementación para funciones por etapas . Usan el término como si fuera bien conocido, y ninguna de las referencias parece una introducción obvia. Dan una breve explicación (el énfasis es mío y el número de referencia cambió; es 22 …

24 terminology  programming-languages  meta-programming 

Esas terminologías me confunden. Según entiendo Solucionador SAT: decida la satisfacción de la lógica proposicional (usando DPLL o Búsqueda local). El procedimiento de decisión es un procedimiento para decidir la satisfacción de una determinada teoría de primer orden decidible. El solucionador SMT es un procedimiento de resolución y resolución SAT. …

24 algorithms  terminology  reference-request  decision-problem 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Estoy un poco confundido por alguna terminología que he encontrado con respecto a la complejidad de los problemas de optimización. En una clase de algoritmos, tuve el gran problema …

24 complexity-theory  np-complete  terminology 

He leído esas palabras en muchas publicaciones y me gustaría tener algunas definiciones agradables para esos términos que aclaren cuál es la diferencia entre la detección de objetos frente a la segmentación semántica frente a la localización. Sería bueno si pudiera dar fuentes para sus definiciones.

23 terminology  computer-vision