Информатика

Я попытался выполнить следующее упражнение, но застрял, пытаясь найти все критические пары . У меня есть следующие вопросы: Как мне узнать, какая критическая пара произвела новое правило? Как я узнал, что нашел все критические пары? Пусть где бинарный, унарный, а константа. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \}∘∘\circiiieeeE=⎧⎩⎨⎪⎪(x∘y)∘z≈x∘(y∘z)x∘e≈xx∘i(x)≈e⎫⎭⎬⎪⎪E={(x∘y)∘z≈x∘(y∘z)x∘e≈xx∘i(x)≈e} E=\left …

10 logic  first-order-logic 

Я читаю «Душу новой машины» Трейси Киддер, где команда Data General разрабатывает новую машину (под кодовым названием «Eagle», позже названную MV / 8000). Это 32-битное расширение предыдущей архитектуры (16-битное Eclipse). Кажется, одной из вращающихся тем является то, что они не хотят создавать машину с битом режима и что им это …

10 computer-architecture 

Есть способ выполнить нечеткий синтаксический анализ (принимает строки даже с опечатками на определенном расстоянии редактирования), с помощью DFA и встроенных автоматов Левенштейна для входного слова. Может ли нечто подобное быть сделано с парсером Earley? Мне трудно понять алгоритм, не говоря уже о том, чтобы ответить на этот вопрос.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Я пытаюсь найти ответы на два вопроса об универсальной машине Тьюринга. Как универсальная машина Тьюринга может моделировать машину Тьюринга, если моделируемая машина имеет большее число состояний? Как универсальная машина Тьюринга может имитировать машину Тьюринга, если на моделируемой машине большее количество букв алфавита? Может ли кто-нибудь помочь мне с этими вопросами?

10 computability  turing-machines  simulation  turing-completeness 

Что означает «в положительной позиции» и «в отрицательной позиции» в контексте теории типов? Единственное, что я понял из поста Боба Харпера на эту тему, это то, что существует связь между полярностью в этом смысле в теории типов и полярностью в логике, но я не знаю, что это за связь.

10 type-theory 

Я знаю, что проблема количественной булевой формулы для формулы где содержит квантификаторов и только переменные является примером -полной проблемы. Однако мне интересно, существуют ли какие-либо естественные проблемы, известные как -полные, так же, как минимизация контуров является естественной -полной проблемой (подробнее см. Полиномиальная иерархия )?ϕ x 1 , … , x …

10 complexity-classes 

В синтаксическом анализаторе LR (0) каждое состояние состоит из набора элементов LR (0), которые являются продукцией, аннотированной позицией. В синтаксическом анализаторе LR (1) каждое состояние состоит из набора элементов LR (1), которые являются продукцией, аннотированной позицией и символом предпросмотра. Известно, что при наличии состояния в автомате LR (1) конфигурирующий набор, …

10 context-free  parsers  lr-k 

Относительно потока, Доказывающего, что преобразование из CNF в DNF является NP-Hard (и связанный математический поток ): Как насчет другого направления, от DNF до CNF? Это легко или сложно? На странице 2 этой статьи они, похоже, намекают на то, что оба направления одинаково трудны, когда говорят: « Мы заинтересованы в максимальном …

10 complexity-theory  logic  satisfiability  normal-forms 

Алгоритм Бжозовского можно распространить на автоматы Мура, но его временная сложность в целом экспоненциальна. Есть ли другой алгоритм минимизации автоматов Мура? Какое время работы этих алгоритмов, если таковые имеются?

10 reference-request  automata  optimization  finite-automata  transducers 

Пусть - довольно приятная функция (например, непрерывная, дифференцируемая, не слишком много локальных максимумов, может быть вогнутая и т. Д.). Я хочу найти максимумы : значение которое делает максимально большим.f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Если бы у меня была процедура для точной оценки на любом входе по моему выбору, я мог …

10 optimization  approximation 

Проблема заключается в следующем: У нас есть двумерный массив / сетка чисел, каждое из которых представляет некоторую «выгоду» или «прибыль». У нас также есть два фиксированных целых числа и h (для «ширины» и «высоты».) И фиксированного целого числа n .wwwhhhnnn Теперь мы хотим наложить прямоугольников с размерами w × h …

10 algorithms  optimization  combinatorics  approximation 

Типичные примеры NP-сложных задач (клика, 3-SAT, покрытие вершин и т. Д.) Относятся к тому типу, когда мы не знаем, является ли ответ «да» или «нет» заранее. Предположим, что у нас есть проблема, в которой мы знаем ответ «да», кроме того, мы можем проверить свидетеля за полиномиальное время. Можем ли мы …

10 complexity-theory  np-hard  search-problem 

Мне интересно, существует ли метод автоматического анализа времени выполнения, который работает, по крайней мере, на соответствующем подмножестве алгоритмов (алгоритмы, которые можно анализировать)? Я прогуглил «Автоматический анализ алгоритма», который дал мне это, но это слишком математично. Я просто хочу простой пример в psuedocode, который я могу понять. Может быть, слишком конкретным, …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis 

Доказано, что проблема определения, является ли вход палиндромом или нет, требует пространства на машине Тьюринга. Однако даже для сохранения входных данных требуется пространство n , не значит ли это, что всем машинам Тьюринга требуется пространство Ω ( n ) ?Ω ( журналн )Ω(журнал⁡N)\Omega(\log n)NNnΩ ( n )Ω(N)\Omega(n) Конечно, здесь нет …

10 turing-machines  space-complexity 

Может кто-то просветить меня, почему парсер рекурсивного спуска с возвратом, который пробует продукцию и (в этом порядке), не распознает язык, образованный грамматикой .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Похоже, он разбирает только слова из языка .{a2n | n≥1}{a2n | n≥1}\{a^{2^n}\ |\ n \ge …

10 context-free  formal-grammars  compilers  parsers