Computation-Theory – вопросы и ответы

112
голосов
1
ответ
Я пытаюсь выяснить, как делать арифметические выражения в Pushdown Automata? (PDA), например, L = W | W = An Bm Cn-m То, что я думаю о том, чтобы делать, - это нажать "Затем", а затем поп-букву "Ка...
1 месяц, 3 недели назад Jacob13000x
85
голосов
1
ответ
Я читаю книгу: введение в теорию вычислений и застрял на этом примере. Преобразуйте DFA в эквивалентное выражение, сначала преобразуя его в GNFA (обобщенный недетерминированный конечный автомат), а...
1 месяц, 3 недели назад Blackgirl5
104
голоса
1
ответ
Предположим, что мой DFA имеет следующую структуру: dfa = DFA( {'q0','q1'}, # States {'0','1'}, # Alphabets {'q0':{'0':'q0', '1': 'q1'}, 'q1':{'0':'q1', '1': 'q0'}}, # Transition_funcs 'q0', # Star...
1 месяц, 3 недели назад Rafsan Mobasher
53
голоса
1
ответ
Пусть X - набор из n точек в некотором умеренномерном пространстве - на данный момент, скажем, R ^ 5. Пусть S - выпуклая оболочка X, p - точка в S и v - произвольное направление. Наконец, пусть L =...
1 месяц, 3 недели назад l2c
66
голосов
1
ответ
Я изучаю NFA, и это меня немного беспокоило, поэтому я хотел бы спросить, правильно ли я это сделал? (Извините, я очень плохо рисовал...)
1 месяц, 4 недели назад darkchampionz
54
голоса
1
ответ
Известно, что проблема с биклическим покрытием трудно и трудно аппроксимировать. Кто-нибудь знает о любом программном обеспечении, которое реализует какую-то практическую эвристику?
1 месяц, 4 недели назад Igor Rivin
53
голоса
1
ответ
Язык A = a*b* является абсолютно регулярным языком. Но мне интересно, есть ли надмножество, это нерегулярный язык? И надмножество должно использовать один и тот же алфавит {a, b}
2 месяца назад Chen
93
голоса
1
ответ
Что называется, если две версии программы выполняют одно и то же задание, но использует ли он другой код? Правильно ли говорить, что две версии семантически эквивалентны, хотя версии могут состоять...
2 месяца назад Shuzheng
77
голосов
1
ответ
Поэтому я дал булевую формулу Q с 2n переменными. Обозначим Q (x1... xn, y1... yn) и упомянем, что существует a1.... принадлежащее {0,1} такое, что для каждого b1... bn, принадлежащего {0,1} Q (a1....
2 месяца назад bourne
55
голосов
1
ответ
У меня есть быстрый вопрос. Что означает здесь знак верхнего знака плюс? = {w ∈ {0,1}: w ∈ (0 ^ +) (1 ^ +)} Некоторое время назад я сделал это. Это делается для создания недетерминированных конечны...
2 месяца назад Raslion
83
голоса
1
ответ
Я не знаю, правильно ли задан этот вопрос, но я определенно чувствовал, что его следует спросить. Я видел много приятных и информативных вопросов, статей о межсетевых сетях и сам StackOverflow. Но ...
2 месяца назад neerajDorle
77
голосов
1
ответ
Я пытаюсь доказать, что TM = DFA неразрешима с использованием сокращения от проблемы остановки. Теоретически я понимаю, что Turing Machine захватывает все вычислимые функции, а DFA только фиксирует...
2 месяца назад Jake
56
голосов
3
ответа
Я использую много регулярных выражений и споткнулся на вопрос, что на самом деле не может быть описана с помощью регулярных выражений. Первый пример, который пришел мне на ум, соответствовал строке...
2 месяца назад maxhb
91
голос
1
ответ
Разработайте DFA для строки { 0,1 }, которая при обратном является десятичным эквивалентом 2 mod 7 ?
2 месяца назад Harshal Agrawal
76
голосов
3
ответа
Из любопытства я пытаюсь определить, какая модель вычисления система, с которой я работаю, функционально эквивалентна и доказывает эквивалентность. Чем дольше я трачу на эту проблему, тем больше я ...
2 месяца назад Chris
-4
голоса
1
ответ
Я пытаюсь построить эту проблему: Справедливая монета бросается до тех пор, пока две главы не появятся подряд. Каково ожидаемое количество монетных бросков? Дизайн DFA для языка L+ {w | w имеет 11 ...
2 месяца, 1 неделя назад Zach
66
голосов
1
ответ
Сокращение многих, не является симметричным. Я пытаюсь это доказать, но это не работает так хорошо. Учитывая два языка A и B, где A определяется как A={w| |w| is even} , i.e. `w` has an even length...
2 месяца, 1 неделя назад ron
75
голосов
1
ответ
Я немного смущен, а также не могу найти ответ в Интернете, но с точки зрения выразительной власти. Недетерминированный FA, PDA, TM NFA < NPDA < NTM Детерминированный FA, PDA, TM: Это где я см...
2 месяца, 1 неделя назад Sudeep Baniya
53
голоса
2
ответа
В настоящее время я тестирую двоичный поиск в среднем случае. Просто все, что я делаю, это генерировать случайную переменную, а затем искать эту случайную переменную в массивах разного размера, исп...
2 месяца, 1 неделя назад user481610
97
голосов
1
ответ
Я понимаю, что для того, чтобы исключить немедленную левую рекурсию из грамматики, содержащей постановку формы A⇒ Aα, мне нужно заменить ее на A⇒βA'and A'⇒αA/∈ Im, имеющий следующие производные, мн...
2 месяца, 1 неделя назад techno
91
голос
1
ответ
L = {words such that the substring 'bb' is not present in in it Учитывая, что алфавит A = {a,b} , является ли этот язык регулярным? Если да, существует ли регулярное выражение, которое представляет...
2 месяца, 1 неделя назад u_ser722345
75
голосов
1
ответ
Я делаю проект, где мне нужно оценить вычислительное время запуска программы для данного входа для конкретной конфигурации мобильного устройства. Точнее, предположим, что у меня есть программа, в к...
2 месяца, 2 недели назад user3678107
79
голосов
1
ответ
Есть ли уловка, чтобы угадать, является ли язык регулярным, просто глядя на язык? Для того, чтобы выбрать методы доказательства, сначала я должен иметь некоторую гипотезу. Знаете ли вы какие-либо н...
2 месяца, 2 недели назад Shubham Pandey
53
голоса
1
ответ
Конечный автомат всегда отклоняет конечное число String? На мой взгляд, когда автомат может принимать бесконечное число строк таким же образом, он также может отклонить бесконечное число строк. пож...
2 месяца, 2 недели назад gaurav bhardwaj
82
голоса
2
ответа
Какова будет диаграмма состояний перехода (a + b) * и (ab) *? Я немного запутался в двух диаграммах состояний. Я нахожу их обоих.
2 месяца, 2 недели назад rashmi1705
53
голоса
1
ответ
Связанные вопросы: Алгоритм для разделения списка чисел на 2 одинаковых списка сумм разделите список в двух частях, чтобы их сумм
2 месяца, 2 недели назад Yippie-Ki-Yay
52
голоса
1
ответ
Почему термин "уменьшить" используется, когда B по крайней мере так же тяжело? В контексте сложности NP мы говорим, что A приводится к B в полиномиальное время, а именно A ≤ B где A - известная тру...
2 месяца, 2 недели назад Gerald
86
голосов
1
ответ
Попытка учиться на финал и так запуталась в счетности. Я понимаю, что любая машина для turing может быть описана как строка. Мы имеем конечное число входов (Σ). Мы можем рассчитать комбинации строк...
2 месяца, 2 недели назад Celeste
52
голоса
1
ответ
Отчасти это связано с этим вопросом. Основанное на верификаторе определение класса сложности NP говорит: NP - класс языков, которые принимаются детерминированным верификатором машины Тьюринга в пол...
2 месяца, 2 недели назад curryage
65
голосов
1
ответ
Я проходил специальную программу, написанную в среде программирования Unix. Перешел через грамматику как list: /* nothing */ | list '\n' | list expr '\n' { printf("\t%.8g\n", $2); } ; В чем нуждают...
2 месяца, 2 недели назад user567879
100
голосов
7
ответов
При обсуждении вычислительной сложности кажется, что все обычно идут прямо в Big O. Давайте скажем, например, у меня есть гибридный алгоритм, такой как сортировка слияния, которая использует сортир...
2 месяца, 2 недели назад jozxyqk
-4
голоса
1
ответ
Algorithm 1. STACKSTUFF(n) Input: Integer n 1) Let S = an empty Stack 2) Let X = -1 3) For i = 1 to 2n 4) S.Push(i) 5) End For 6) For i = 1 to n 7) Let X = S.Pop() 8) End For Output: The contents o...
2 месяца, 3 недели назад JimmyK
67
голосов
2
ответа
Для двух векторов u=(ux,uy,uz) и v=(vx,vy,vz), что является наиболее дешевым способом для проверки, являются ли они параллельными или почти параллельными (с учетом некоторого порога для аппроксимац...
2 месяца, 3 недели назад user929304
65
голосов
1
ответ
Я пытаюсь выяснить, является ли следующая проблема NP-hard: Given G_1,..,G_n subsets of {1..m} c_1,..,c_n non-negative integers in {0..m} Find T subset of {1..m} S.T. for all i=1..n, T intersects G...
2 месяца, 3 недели назад DalyaG
55
голосов
2
ответа
Я хочу реализовать алгоритм Хопкрофта, чтобы свести к минимуму DFA WIKIPEDIA . До сих пор я могу удалить недостижимые состояния. Проблема в том, что я не понимаю этот алгоритм. Я не знаю, как его р...
2 месяца, 3 недели назад aaa
86
голосов
1
ответ
При реализации большинства алгоритмов (сортировка, поиск, обход графика и т.д.) часто возникает компромисс, который можно сделать в сокращении доступа к памяти за счет дополнительных обычных операц...
2 месяца, 3 недели назад Assad Ebrahim
64
голоса
1
ответ
Я пытаюсь преобразовать регулярное выражение к недетерминированным конечным автоматам (NFA), сначала используя конструкцию Томпсона, давая:
2 месяца, 3 недели назад AkshaiShah
53
голоса
2
ответа
У меня возникли проблемы с поиском регулярной грамматики для языка, который распознается конечным автоматом. Ключевой проблемой, с которой я столкнулся, является путаница между регулярной грамматик...
2 месяца, 4 недели назад Maxxx
55
голосов
1
ответ
Поэтому я только что узнал об алгоритме сортировки s bubble, merge, insertion, sort и т.д. Все они кажутся очень похожими в своих методах сортировки с тем, что мне кажется минимальными изменениями ...
2 месяца, 4 недели назад user4910881
76
голосов
1
ответ
Может ли язык, который может быть распознан ТМ, но не может быть решен ТМ? пример языка, который может быть распознан ТМ, но не может быть решен ТМ Был бы ответ: TM={<M,w> M is a TM that acce...
3 месяца назад S A
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема