Предполагая, что запросы кэш-памяти l1 и l2 приводят к пропаданию, процессор останавливается до тех пор, пока к основной памяти не обращаются? Я слышал об идее переключения на другой поток, если так, что используется, чтобы пробудить остановленный...
Учитывая только алфавит , строки, которые могут быть заданы в качестве входных данных для машин Тьюринга, взяты из набора . Но имеет ли смысл для ввода быть бесконечной двоичной строкой? Например, если машина Тьюринга принимает все строки, начинающиеся с 0, относится ли двоичная строка с...
Этот вопрос был вдохновлен комментарием к StackOverflow . Помимо знания NP-полных проблем книги Гэри Джонсона и многих других; Есть ли эмпирическое правило, чтобы узнать, выглядит ли проблема как NP-полная? Я не ищу что-то строгое, но что-то, что работает в большинстве случаев. Конечно, каждый раз,...
Является ли следующий языковой контекст бесплатным? L = { u x v y| У , v , х , у∈ { 0 , 1 }+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Как указывает sdcvvc, слово в этом языке также...
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Я создал лексер и анализатор простого регулярного выражения, чтобы взять регулярное выражение и сгенерировать его дерево анализа. Создание...
У вас есть одна монета. Вы можете перевернуть его столько раз, сколько захотите. Вы хотите сгенерировать случайное числоrrr такое, чтогде.a≤r<ba≤r<ba \leq r < br,a,b∈Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ Распределение чисел должно быть равномерным. Это легко, если :b−a=2nb−a=2nb -a = 2^n r = a +...
Я слышал несколько раз, что при достаточно малых значениях n O (n) можно рассматривать / обрабатывать так, как будто это O (1). Пример : Мотивация для этого основана на неверной идее, что O (1) всегда лучше, чем O (lg n), всегда лучше, чем O (n). Асимптотический порядок операции имеет значение...
Обратите внимание, хотя я знаю, как программировать, я довольно новичок в теории CS. Согласно этому ответу Полнота по Тьюрингу - это абстрактное понятие вычислимости. Если язык является полным по Тьюрингу, то он способен выполнять любые вычисления, которые может выполнять любой другой полный по...
Есть много способов доказать, что язык не является контекстно-свободным, но как мне доказать, что язык не является контекстно-независимым? Какие методы существуют, чтобы доказать это? Очевидно, один из способов - показать контекстную грамматику для языка. Существуют ли какие-либо систематические...
Большинство из нас знает соответствие между комбинаторной логикой и лямбда-исчислением . Но я никогда не видел (может быть, я недостаточно глубоко изучил) эквивалент «типизированных комбинаторов», соответствующих простейшему типу лямбда-исчисления. Существует ли такая вещь? Где можно найти...
Является ли задачей программного обеспечения (операционной системы) обнаружение переполнения стека или аппаратное переполнение стека, вызывающее исключение в...
Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Известно, что каждая проблема оптимизации / поиска имеет эквивалентную проблему решения. Например, проблема кратчайшего пути версия для...
Неформальная постановка задачи: Для строки, например, , мы хотим, чтобы некоторые буквы были окрашены в красный цвет, а некоторые - в синий (а некоторые нет), чтобы чтение только красных букв слева направо давало тот же результат, что и чтение только синих букв.ACCABBABACCABBABACCABBAB В примере мы...
Я изучаю язык программирования Haskell и пытаюсь понять, в чем разница между a typeи a kind. Как я понимаю a kind is a type of type. Например, a ford is a type of carи a car is a kind of vehicle. Это хороший способ думать об этом? Потому что, как мой мозг в настоящее время подключен, а ford is a...
Когда есть некоторые (относительно) базовые (например, первокурсник, студент CS-уровня), когда можно использовать рекурсию, а не просто цикл?
Я знаю, что алгоритм Евклида - лучший алгоритм для получения GCD (большой общий делитель) списка натуральных чисел. Но на практике вы можете кодировать этот алгоритм различными способами. (В моем случае я решил использовать Java, но C / C ++ может быть другим вариантом). Мне нужно использовать...
Одним из гиперпараметров для сетей LSTM является температура. Что это
Моя проблема в том, как я могу доказать, что грамматика однозначна? У меня есть следующие грамматики: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression...
Я искал в сети ответ на этот вопрос, и кажется, что все безоговорочно знают ответ, кроме меня. Предположительно, это потому, что заботятся только люди, получившие высшее образование по этому предмету. Я, с другой стороны, был брошен в глубокий конец для школьного задания. Мой вопрос, как именно...
Довольно просто понять, почему проблема остановки неразрешима для нечистых программ (т. Е. Программ, в которых ввод / вывод и / или состояния зависят от состояния машины); но интуитивно кажется, что остановка чистой программы на идеальном компьютере может быть решена, например, статическим...