Можно утверждать, что большинство языков, созданных для описания повседневных проблем, являются контекстно-зависимыми. С другой стороны, возможно и нетрудно найти некоторые языки, которые не являются рекурсивными или даже не рекурсивно-перечислимыми. Между этими двумя типами находятся рекурсивные,...
Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что множество языков, принятых на таких машинах ( ), не...
Логические вентили - это абстрактное устройство, которое может быть реализовано с помощью электромагнитных реле, вакуумных ламп или транзисторов. Эти реализации были успешными в вычислениях отчасти из-за различных свойств цепочки, долговечности и размера, выходящих за рамки их базовой двоичной...
Существует ли алгебраическая характеристика числа слов заданной длины в обычном языке? Википедия приводит результат несколько неточно: Для любого регулярного языка существуют константы и многочлены таким образом, что для каждого п числа s_L (п) из слова длины n в L удовлетворяют уравнению s_L (n) =...
Однажды в моем курсе был ветеран, который создал алгоритм, который предлагал бы рецепты приготовления. Сначала, все виды сумасшедших рецептов вышли бы. Затем она обучит алгоритм приготовления пищи реальным рецептам, и в итоге он предложит очень хорошие. Я полагаю, что она использовала что-то,...
К сожалению, я все еще не настолько силен в понимании алгоритма Sweep Line . Все статьи и учебники по этой теме уже прочитаны, однако до понимания еще далеко. Просто чтобы прояснить ситуацию, я стараюсь выполнять как можно больше упражнений. Но действительно интересные и важные задачи все еще...
У меня есть дерево (в смысле теории графов), например, в следующем примере: Это направленное дерево с одним начальным узлом (корень) и множеством конечных узлов (листья). Каждому ребру назначена длина. Мой вопрос: как найти самый длинный путь, начинающийся у корня и заканчивающийся у любого из...
Я задал этот вопрос в общем стеке потока, и я был направлен сюда. Было бы хорошо, если бы кто-нибудь мог объяснить, как подходить к частичным или полностью динамическим задачам с графами в целом. Например: Найти кратчайший путь между двумя вершинами в неориентированном взвешенном графе для...
Что касается функций в таких языках, как ruby (и javascript), которые позволяют программисту расширять / переопределять классы в любое время после его определения (включая классы, такие как String), теоретически выполнимо разработать язык, который позволит программам впоследствии расширяться его...
Когда я был студентом, я увидел проблему в учебнике по цифровым системам / логическому проектированию, когда N солдат стоят в ряду и хотят одновременно стрелять. Более сложной версией проблемы было то, что солдаты стоят в общей сети, а не в ряду. Я уверен, что это классическая проблема, но я не...
Я пытаюсь найти ΘΘ\Theta ; направляющийся следующего рекуррентного уравнения: T(n)=2T(n/2)+T(n/3)+2n2+ 5 н + 42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Я считаю, что основная теорема неуместна из-за разного количества подзадач и разделов. Также рекурсивные деревья не...
Существуют ли неразрешимые свойства линейных ограниченных автоматов (избегая трюка с пустым языком множеств)? Как насчет детерминированного конечного автомата? (отложить в сторону неразрешимость). Я хотел бы получить пример (если возможно) неразрешимой проблемы, которая определена без явного...
Когда мы сравниваем сложность двух алгоритмов, обычно бывает, что либо либо (возможно, оба), где и время выполнения (например) двух алгоритмов.g ( n ) = O ( f ( n ) ) f gе( n ) = O ( г( н ) )f(n)=O(g(n))f(n) = O(g(n))грамм( n ) = O ( f( н ) )g(n)=O(f(n))g(n) = O(f(n))еffграммgg Это всегда так? То...
Я работаю над компилятором для конкатенативного языка и хотел бы добавить поддержку вывода типов. Я понимаю Хиндли-Милнера, но я изучаю теорию типов по ходу дела, поэтому не знаю, как ее адаптировать. Является ли следующая система надежной и достоверной? Термин - это литерал, композиция терминов,...
Я использую цифровой компьютер, чтобы написать это сообщение. У такой машины есть свойство, которое, если подумать, на самом деле весьма примечательно: это одна машина, которая, при правильном программировании, может выполнять любые возможные вычисления . Конечно, вычислительные машины того или...
Я самообучающийся помощник по доказательствам и решил начать с некоторых базовых доказательств и продолжить работу. Поскольку доказательства основаны на других доказательствах и поэтому образуют иерархию, существует ли хранилище иерархии доказательств? Я знаю, что могу выбрать конкретного помощника...
Дано множество множеств, я хотел бы найти множество такое , что каждое множество в содержит , по меньшей мере , один элемент из . Я также хотел бы, чтобы содержало как можно меньше элементов при соблюдении этого критерия, хотя может существовать более одного наименьшего с этим свойством (решение не...
Пусть А сводится к B, т.е. . Таким образом, машина Тьюринга приема имеет доступ к оракулу для . Пусть машина Тьюринга, принимающая будет а оракул для будет . Типы скидок:A≤BA≤ВA \leq BAAABВBAAAMAMAM_{A}BВBOBОВO_{B} Сокращение Тьюринга: может сделать несколько запросов к .MAMAM_{A}OBОВO_{B}...
В одной из лекций профессор упомянул, что современные компьютеры не имеют такой вычислительной мощности, как машина Тьюринга, потому что у них нет бесконечной памяти, и, поскольку ни у одного компьютера нет бесконечной памяти, машина Тьюринга недостижима и просто представляет верхний предел....
Я пытаюсь получить классическую статью из заголовка только элементарными способами (без генерирующих функций, без сложного анализа, без анализа Фурье), хотя и с гораздо меньшей точностью. Короче говоря, я «только» хочу доказать, что средняя высота дерева с узлами (то есть максимальное количество...