Вопросы с тегом «terminology»

Прочитав несколько источников, я все еще не понимаю, какие темы нужны пользователям и ядру. Особенно: Потоки могут существовать как на уровне пользователя, так и на уровне ядра. В чем разница между уровнем пользователя и уровнем ядра?

33 operating-systems  terminology  concurrency  os-kernel 

Я только что закончил первую главу « Введение в теорию вычислений » Майкла Сипсера, в которой объясняются основы конечных автоматов. Он определяет обычный язык как что-либо, что может быть описано конечными автоматами. Но я не мог найти, где он объясняет, почему обычный язык называется «обычный»? Каково происхождение термина «регулярный» в …

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

В Интернете есть много определений о том, что такое контекстно-свободная грамматика, но ничего, что я нахожу, не удовлетворяет мою основную проблему: В каком контексте он свободен? Чтобы исследовать, я погуглил «контекстно-зависимую грамматику», но мне так и не удалось найти смысл «контекста». Может кто-нибудь объяснить, к чему contextотносится этот термин в …

30 terminology  context-free  formal-grammars 

Закрыто . Этот вопрос основан на мнении . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 5 лет назад . Что такое хорошая метафора или пример, чтобы объяснить английскому мажору разницу между классической информатикой …

30 terminology  education 

Какие различия и отношения существуют между рандомизированными алгоритмами и недетерминированными алгоритмами? Из Википедии Рандомизированное алгоритм представляет собой алгоритм , который использует степень случайности как часть своей логики. Алгоритм обычно использует равномерно случайные биты в качестве вспомогательного входа для управления его поведением в надежде на достижение хорошей производительности в «среднем случае» …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Некоторое время я изучал компиляторы и искал, что означает «контекст» в грамматике и что означает, что грамматика должна быть «контекстно-свободной», но безрезультатно. Так может кто-нибудь помочь с этим?

29 terminology  context-free  formal-grammars 

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно 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 

Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка. Давайте возьмем два примера: Если сегодня понедельник, то завтра вторник. Это верно . Но если мы скажем: Если …

24 terminology  logic  first-order-logic  propositional-logic 

Если бы у меня была функция с временной сложностью O ( mn ), где m и n - размеры двух ее входов, мы бы назвали ее временную сложность «линейной» (поскольку она линейна как по m, так и по n ) или «квадратичной» ( так как это продукт двух размеров)? Или …

24 terminology  asymptotics  landau-notation 

В недавней статье CACM [1] авторы представляют реализацию поэтапных функций . Они используют этот термин, как если бы он был хорошо известен, и ни одна из ссылок не выглядит как очевидное введение. Они дают краткое объяснение (выделено мое и номер ссылки изменен; в оригинале 22) В контексте генерации программ, многоступенчатое …

24 terminology  programming-languages  meta-programming 

Эти термины смущают меня. Насколько я понимаю SAT решатель: решить выполнимость логики высказываний (используя DPLL или локальный поиск). Процедура принятия решения - это процедура определения выполнимости некоторой разрешимой теории первого порядка. SMT-решатель - это SAT-решатель + процедура принятия решения. Теорема доказатель указывает что-то вроде динамической логики, например, инструмент KeY Решатель …

24 algorithms  terminology  reference-request  decision-problem 

Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Меня слегка смущает некоторая терминология, с которой я столкнулся в отношении сложности задач оптимизации. В классе алгоритмов у меня была большая проблема скупости, описанная как NP-полная. Однако я …

24 complexity-theory  np-complete  terminology 

В теории вычислимости вычислимые функции также называют рекурсивными функциями. По крайней мере, на первый взгляд, они не имеют ничего общего с тем, что вы называете «рекурсивным» в повседневном программировании (т. Е. Функциями, которые сами себя вызывают). Каково реальное значение рекурсивности в контексте вычислимости? Почему эти функции называются «рекурсивными»? Другими словами: …

23 computability  terminology  history