Информатика

Является ли задачей программного обеспечения (операционной системы) обнаружение переполнения стека или аппаратное переполнение стека, вызывающее исключение в ЦП?

26 computer-architecture  stacks 

Большинство из нас знает соответствие между комбинаторной логикой и лямбда-исчислением . Но я никогда не видел (может быть, я недостаточно глубоко изучил) эквивалент «типизированных комбинаторов», соответствующих простейшему типу лямбда-исчисления. Существует ли такая вещь? Где можно найти информацию об этом?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Этот вопрос был вдохновлен комментарием к StackOverflow . Помимо знания NP-полных проблем книги Гэри Джонсона и многих других; Есть ли эмпирическое правило, чтобы узнать, выглядит ли проблема как NP-полная? Я не ищу что-то строгое, но что-то, что работает в большинстве случаев. Конечно, каждый раз, когда мы должны доказать, что проблема …

26 complexity-theory  np-complete  intuition 

Есть много способов доказать, что язык не является контекстно-свободным, но как мне доказать, что язык не является контекстно-независимым? Какие методы существуют, чтобы доказать это? Очевидно, один из способов - показать контекстную грамматику для языка. Существуют ли какие-либо систематические методы для поиска контекстно-свободной грамматики для данного языка? Для регулярных языков, есть …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Я изучаю язык программирования 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. Это хороший способ думать об этом? Потому что, как …

26 type-theory 

Является ли следующий языковой контекст бесплатным? 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, слово …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Я слышал несколько раз, что при достаточно малых значениях n O (n) можно рассматривать / обрабатывать так, как будто это O (1). Пример : Мотивация для этого основана на неверной идее, что O (1) всегда лучше, чем O (lg n), всегда лучше, чем O (n). Асимптотический порядок операции имеет значение …

26 asymptotics 

Я знаю, что алгоритм Евклида - лучший алгоритм для получения GCD (большой общий делитель) списка натуральных чисел. Но на практике вы можете кодировать этот алгоритм различными способами. (В моем случае я решил использовать Java, но C / C ++ может быть другим вариантом). Мне нужно использовать максимально эффективный код в …

26 algorithms  recursion  arithmetic 

Когда есть некоторые (относительно) базовые (например, первокурсник, студент CS-уровня), когда можно использовать рекурсию, а не просто цикл?

26 algorithms  recursion 

Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Известно, что каждая проблема оптимизации / поиска имеет эквивалентную проблему решения. Например, проблема кратчайшего пути версия для оптимизации / поиска: для заданного неориентированного невзвешенного графа G …

26 complexity-theory  optimization  search-problem  decision-problem 

Этот вопрос был перенесен из Математического стека Exchange, потому что на него можно ответить в Информатике стека Exchange. Мигрировал 6 лет назад . Доминоза - относительно новая игра-головоломка. Это играется на (n+1)×(n+2)(n+1)×(n+2)(n+1)\times(n+2) сетке. Перед началом игры кости домино (0,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) размещаются на сетке (что составляет идеальный тайлинг). На следующем шаге кости …

26 complexity-theory  np-hard  board-games  tiling 

Учитывая только алфавит , строки, которые могут быть заданы в качестве входных данных для машин Тьюринга, взяты из набора . Но имеет ли смысл для ввода быть бесконечной двоичной строкой? Например, если машина Тьюринга принимает все строки, начинающиеся с 0, относится ли двоичная строка с бесконечными нулями к языку, принятому …

26 turing-machines 

Предполагая, что запросы кэш-памяти l1 и l2 приводят к пропаданию, процессор останавливается до тех пор, пока к основной памяти не обращаются? Я слышал об идее переключения на другой поток, если так, что используется, чтобы пробудить остановленный поток?

26 computer-architecture  cpu-cache  cpu-pipelines 

Я видел два определения сбалансированных бинарных деревьев, которые выглядят по-другому для меня. Бинарное дерево сбалансировано, если для каждого узла установлено, что количество внутренних узлов в левом поддереве и количество внутренних узлов в правом поддереве отличаются не более чем на 1. Бинарное дерево сбалансировано, если для любых двух листьев разница глубины …

26 data-structures  binary-trees 

Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Я создал лексер и анализатор простого регулярного выражения, чтобы взять регулярное выражение и сгенерировать его дерево анализа. Создание недетерминированного автомата конечных состояний из этого дерева разбора относительно просто …

26 automata  finite-automata  regular-expressions