Информатика

Например, если компьютер 10111100хранится в одном конкретном байте ОЗУ, как компьютер узнает, что он интерпретирует этот байт как целое число, символ ASCII или что-то еще? Данные типа хранятся в соседнем байте? (Я не думаю, что это будет так, поскольку это приведет к использованию вдвое больше места для одного байта.) Я …

31 memory-hardware  memory-access  type-checking 

Алан Тьюринг предложил модель для машины (Turing Machine, TM), которая вычисляет (числа, функции и т. Д.), И доказал теорему Остановки . ТМ - это абстрактное понятие машины (или двигателя, если хотите). Теорема Остановки - результат невозможности. Двигатель Карно (CE) - это абстрактное понятие теплового двигателя, и Карно доказал теорему Карно …

31 turing-machines  halting-problem  entropy 

Я получил задание в моем университете. Я взял его домой и попытался запрограммировать алгоритм для его решения, это было что-то, связанное с графиками, поиск связанных компонентов, я думаю. Затем я сделал самую тривиальную вещь, которая пришла мне в голову, а затем показала моему лектору. После непродолжительного наблюдения он понял, что …

30 algorithms  algorithm-analysis  education  applied-theory 

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

30 terminology  context-free  formal-grammars 

Я пытаюсь объяснить основы Биткойн моим родителям. Одним из основных компонентов биткойна является подписание транзакций, чтобы гарантировать, что ваша личность не может быть олицетворена, и, следовательно, необходимость объяснения упрощенного асимметричного шифра. Какой чрезвычайно простой асимметричный шифр я могу использовать в качестве примера? Как можно использовать этот упрощенный шифр для подписи?

30 cryptography 

Я читал CLRS и сказал: Если факторизация больших целых чисел проста, то взломать криптосистему RSA легко. Что имеет смысл для меня, потому что со знанием и легко создать секретный ключ, который известен из открытого ключа. Хотя, это объясняет обратное утверждение, которое я не совсем понимаю:дпppQqq Обратное утверждение, что если вычислять …

30 cryptography 

Теорема Райса говорит нам, что единственные семантические свойства машин Тьюринга (т.е. свойства функции, вычисляемой машиной), которые мы можем решить, - это два тривиальных свойства (то есть всегда истинно и всегда ложно). Но есть и другие свойства машин Тьюринга, которые нельзя решить. Например, свойство наличия недоступного состояния в данной машине Тьюринга …

30 computability  undecidability 

FRP - это потоковая передача событий и поведения через чистые функции. Модель Actor - по крайней мере, как реализована в Akka - предназначена для потоковой передачи неизменяемых сообщений (которые можно считать дискретными событиями) через потенциально нечистые объекты, называемые акторами. Так что на первый взгляд они кажутся родственными. Что еще можно …

30 distributed-systems  functional-programming  programming-paradigms 

В основном я знаю о трех основах математики Теория множеств Теория типов Теория категорий Итак, каким образом связаны языки программирования и основы математики? РЕДАКТИРОВАТЬ Первоначальный вопрос был «Языки программирования на основе основ математики» с добавленным парагарфом И реализации теории 1. Теория типов в Coq 2. Теория множеств в SETL 3. …

30 programming-languages  history  type-theory  category-theory 

При реализации словаря («Я хочу просмотреть данные клиентов по их идентификаторам»), типичными структурами данных являются хеш-таблицы и двоичные деревья поиска. Я знаю, например, что библиотека C ++ STL реализует словари (они называют их картами), используя (сбалансированные) деревья двоичного поиска, а .NET Framework использует хеш-таблицы. Каковы преимущества и недостатки этих структур …

30 algorithms  data-structures  binary-trees  hash-tables 

Это известный факт, что каждая формула LTL может быть выражена Büchi автоматом. Но, видимо, автоматы Büchi - более мощная, выразительная модель. Я где-то слышал, что автоматы Бюхи эквивалентны линейному времени -calculus (то есть -calculus с обычными фиксированными точками и только одним временным оператором: ).ωω\omegaμ Xμμ\muμμ\muИксИкс\mathbf{X} Существует ли алгоритм (конструктивное доказательство) …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Я понимаю, что если существует 2 или более левых или правых деривационных деревьев, то грамматика неоднозначна, но я не могу понять, почему это так плохо, что все хотят от нее избавиться.

30 compilers  ambiguity 

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

30 terminology  education 

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

30 computability  turing-machines  quantum-computing  nondeterminism 

Интуитивно понятно, что «сбалансированные деревья» должны быть деревьями, где левое и правое поддеревья в каждом узле должны иметь «примерно одинаковое» количество узлов. Конечно, когда мы говорим о том, что красно-черные деревья * (см. Определение в конце) сбалансированы, мы на самом деле имеем в виду, что они сбалансированы по высоте и …

30 data-structures  binary-trees  search-trees