Запитання з тегом «terminology»

Прочитавши кілька джерел, я все ще плутаюсь щодо потоків на рівні користувача та ядра. Зокрема: Нитки можуть існувати як на рівні користувача, так і на рівні ядра Яка різниця між рівнем користувача та рівнем ядра?

33 operating-systems  terminology  concurrency  os-kernel 

Я тільки що завершив перший розділ « Вступ до теорії обчислень » Майкла Сіпсера, який пояснює основи кінцевих автоматів. Він визначає звичайну мову як все, що можна описати обмеженими автоматами. Але я не міг знайти, де він пояснює, чому звичайну мову називають "регулярною"? Яке походження терміна "регулярний" у цьому контексті? …

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

В Інтернеті є багато визначень щодо того, що таке граматика без контексту, але нічого, що я знаходжу, не задовольняє мою основну проблему: Який контекст це вільний? Щоб досліджувати, я гугла "граматику, залежну від контексту", але все ще не змогла знайти, що таке "контекст". Може хтось, будь ласка, пояснить, на що …

30 terminology  context-free  formal-grammars 

Що таке хороша метафора чи приклад, щоб пояснити англійському головному різницю між класичною інформатикою та "бути хорошим із використанням MS-Windows" комп'ютерна наука комп'ютерне програмування за допомогою комп’ютерів 3 глибоко різні речі. Більшість людей не мають поняття, що таке комп’ютерна наука. Вони просто бачать слово «комп’ютер». Отже, "він - фахівець з …

30 terminology  education 

Які відмінності та зв’язки між рандомізованими алгоритмами та недетермінованими алгоритмами? З Вікіпедії Рандомізоване алгоритм являє собою алгоритм , який використовує ступінь випадковості як частину своєї логіки. Алгоритм зазвичай використовує рівномірно випадкові біти як допоміжний вхід для керування його поведінкою, сподіваючись досягти хорошої продуктивності у "середньому випадку" над усіма можливими варіантами …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Я вивчав компілятори деякий час, і шукав, що означає «контекст» у граматиці і що означає для граматики бути «без контексту», але безрезультатно. То чи може хтось у цьому допомогти?

29 terminology  context-free  formal-grammars 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

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 

Я часто чую фрази на кшталт "справжня семантика одночасності" та "справжня еквівалентність сумісності" без будь-яких посилань. Що означають ці терміни і чому вони важливі? Назвіть декілька прикладів справжньої еквівалентності одночасності та яка потреба в них? Наприклад, у яких випадках вони є більш застосовними, ніж більш стандартні еквіваленти (бісумуляція, еквівалентність слідів …

28 terminology  reference-request  concurrency 

Я веду презентацію про машини Тьюрінга, і мені хотілося ознайомитись з FSM, перш ніж представити машини Тьюрінга. Проблема в тому, що я дійсно не знаю, чим ДУЖЕ відрізняється один від одного. Ось що я знаю, що це інакше: FSM має послідовні стани залежно від відповідної умови, дотримуючись, коли машини Тьюрінга …

27 terminology  turing-machines  finite-automata  machine-models 

Якщо у мене є якась функція, часова складність якої є O ( mn ), де m і n - розміри двох її входів, ми б називали її часову складність "лінійною" (оскільки вона лінійна як у m, так і в n ) або "квадратична" ( оскільки це виріб двох розмірів)? Або …

24 terminology  asymptotics  landau-notation 

Мені здається, що "мається на увазі" в англійській мові не означає те саме, що логічний оператор "передбачає", подібно до того, як слово "АБО" у більшості випадків означає "Ексклюзивне АБО" у повсякденному мовному використанні. Візьмемо два приклади: Якщо сьогодні понеділок, то завтра вівторок. Це правда . Але якщо ми скажемо: Якщо …

24 terminology  logic  first-order-logic  propositional-logic 

В останній статті CACM [1] автори представляють реалізацію для поетапних функцій . Вони використовують термін так, ніби він був добре відомий, і жодна з посилань не виглядає очевидним вступом. Вони дають коротке пояснення (зміна мого та посилального номера змінено; в оригіналі - 22) У контексті генерування програм багатоступеневе програмування (MSP, …

24 terminology  programming-languages  meta-programming 

Ці термінології мене бентежать. Як я розумію SAT вирішувач: вирішити відповідність логіки пропозицій (використовуючи DPLL або локальний пошук). Процедура прийняття рішення - це процедура вирішення відповідності певної рішучої теорії першого порядку. SMT solver - це рішення SAT + процедура прийняття рішення. Підтвердження теореми вказує на щось на зразок динамічної логіки, …

24 algorithms  terminology  reference-request  decision-problem 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Мене трохи бентежить деяка термінологія, з якою я стикався щодо складності проблем оптимізації. У класі алгоритмів у мене була велика проблема прихильності, описана як NP-завершена. Однак я не зовсім впевнений, …

24 complexity-theory  np-complete  terminology 

Я прочитав ці слова в досить багато публікацій, і я хотів би мати кілька приємних визначень для тих термінів, які дозволяють зрозуміти, яка різниця між об'єктом виявлення від семантичної сегментації та локалізації. Було б добре, якби ви могли дати джерела для своїх визначень.

23 terminology  computer-vision