Информатика

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

44 formal-languages  automata 

Я сам изучаю Автоматизированное доказательство теорем / SMT-решатели / Помощники по проверке и выкладываю серию вопросов о процессе, начинающемся здесь. Обратите внимание, что эти темы нелегко усваиваются без знания (математической) логики. Если у вас есть проблемы с основными терминами, пожалуйста, ознакомьтесь с ними, например, « Логика в информатике » М. …

44 logic  proof-assistants  automated-theorem-proving  coq 

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

44 terminology  parallel-computing  concurrency 

Я помню, как сталкивался со следующим вопросом о языке, который предположительно не зависит от контекста, но я не смог найти доказательства этому факту. Возможно, я неправильно понял вопрос? Во всяком случае, вот вопрос: Покажите, что язык зависит от контекста.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

Я знаю, что существует машина Тьюринга, если функция вычислима. Тогда как показать, что функция не вычислима или для этого нет машины Тьюринга. Есть ли что-то вроде леммы прокачки?

43 computability  proof-techniques  undecidability  reference-question 

Предположим, что я программист, и у меня есть NP-полная проблема, которую мне нужно решить. Какие методы доступны для решения проблем с NPC? Есть опрос или что-то похожее на эту тему?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Я видел упомянутое, что системы зависимого типа не являются заразными, но проверяемыми. Мне было интересно, есть ли простое объяснение, почему это так, и есть ли предел «зависимости», где типы могут быть проиндексированы по значениям, ниже какого типа вывод возможен, а выше которого нет?

42 undecidability  type-theory  type-inference  dependent-types 

Я столкнулся со странной проблемой при написании интерпретатора, который (должен) подключаться к внешним программам / функциям: функции в «C» и «C ++» не могут перехватывать переменные функции , например, я не могу создать функцию, которая вызывает «printf» с точно такими же аргументами, которые он получил, и вместо этого должен вызвать …

42 computability  programming-languages  turing-completeness 

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

42 computability  recursion  iteration 

В нашей лекции о компьютерных системах мы познакомились с процессором MIPS. Он был (пере) разработан в течение срока действия термина и на самом деле довольно легко понять. Он использует дизайн RISC , то есть его элементарные команды регулярно кодируются, и их всего несколько, чтобы сохранить простоту подключения. Было отмечено, что …

42 computer-architecture 

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

41 computability  turing-machines  automata  pushdown-automata 

Давайте предположим следующее определение красно-черного дерева: Это двоичное дерево поиска. Каждый узел окрашен в красный или черный цвет. Корень черный. Два узла, соединенные ребром, не могут быть одновременно красными. Здесь должно быть хорошее определение листа NIL, как на вики. Лист NIL окрашен в черный цвет. Путь от корня до любого …

41 data-structures  search-trees  balanced-search-trees 

Я пытаюсь понять алгоритмы Петерсона и Деккера, которые очень похожи и имеют много симметрий. Я попытался сформулировать алгоритмы на неформальном языке следующим образом: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter CS! …

41 concurrency  synchronization  mutual-exclusion 

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

41 data-structures  strings  string-metrics 

В «Big O» общие обозначения имеют общие имена (вместо того, чтобы говорить «о некотором постоянном множителе»): O (1) - «Константа» O (log n) является "логарифмическим" O (n) является "линейным" O (n ^ 2) является "квадратичным" O (n * log n) есть ??? Это просто "n log n" или у него …

40 terminology  asymptotics