Вопросы с тегом «automata-theory»

Предположим, вам даны два детерминированных автомата нажатия, которые распознают языки и B , и хотите определить, существует ли регулярный язык R такой, что A ⊆ R и R ∩ B = ∅ . По сути, задача состоит в том, чтобы определить, существует ли DFA, способный распознавать, из какого из двух …

12 automata-theory 

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

12 reference-request  quantum-computing  automata-theory 

Пусть будет константой. Как мы можем с уверенностью построить псевдослучайный генератор, который обманывает конечные автоматы d- состояния?dddddd Здесь, -state имеет конечные автоматы d узлов, начальный узел, набор узлов , представляющие принимают состояния, и две направленных ребер помечены 0, 1 , выходят из каждого узла. Он изменяет состояние естественным образом, так …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Остаточные автоматы в конечном состоянии (RFSA, определенные в [DLT02]) - это NFA, которые имеют некоторые общие черты с DFA. В частности, для каждого обычного языка всегда существует канонический RFSA минимального размера, а язык, распознаваемый каждым государством в RFSA, является остаточным, как и в DFA. Однако, хотя минимальные состояния DFA формируют …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Вдохновленный этим вопросом , мне интересно следующее: Какова сложность наихудшего случая проверки, принимает ли данный DFA тот же язык, что и данное регулярное выражение? Это известно? Надежда будет заключаться в том, что эта проблема в P - что есть алгоритм полинома в размере обоих.

12 automata-theory  lg.learning  regular-expressions  dfa 

Может ли кто-нибудь привести пример двух эквивалентных (распознающих один и тот же язык) минимальных недетерминированных автоматов (NFA), которые не являются изоморфными?

12 fl.formal-languages  automata-theory 

Какова взаимосвязь между выразительностью LTL , Büchi / QPTL , CTL и CTL * ? Можете ли вы дать некоторые ссылки, которые охватывают как можно больше этих временных логик (особенно между линейным временем и временем ветвления)? Диаграмма Венна с этими временными логиками и некоторыми практическими свойствами в качестве примеров была …

12 lo.logic  automata-theory  model-checking  temporal-logic 

MPA (многопробельный автомат) - это 2DFA (двусторонний детерминированный конечный автомат), который может использовать произвольное количество камешков (на самом деле самое большее камешков на заданном входе - вход записывается на ленту между двумя концами -маркер как ). Во время вычисления MPA может обнаружить, есть ли у символа под головой камешек, и …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Скажем, у кого-то есть язык , но вы не знаете, какие строки на самом деле являются частью языка. Все, что есть, - это конечное представление языка: конечный набор строк о которых известно, что они есть в языке, и конечный набор строк , которые известны не быть на языке.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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

12 fl.formal-languages  automata-theory 

Набор слов в конечном алфавите не содержит префиксов, если нет двух разных слов, где одно является префиксом другого. Вопрос в том: В чем сложность проверки, содержит ли обычный язык, заданный как NFA, бесконечное подмножество без префиксов? Ответ (благодаря Михаилу Рудой, здесь ниже) : Это можно сделать за полиномиальное время, и …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

После прочтения соответствующего вопроса о неконструктивных доказательствах существования алгоритмов мне стало интересно, есть ли способы показать существование «маленьких» (скажем, состояний) вычислительных машин без фактического их построения. Формально: предположим, нам дан некоторый язык и исправим некоторую вычислительную модель (NFA / машина Тьюринга / и т. д.).L⊆Σ∗L⊆Σ*L\subseteq \Sigma^* Существуют ли какие-либо неконструктивные …

11 cc.complexity-theory  automata-theory  turing-machines 

Односторонние чередующиеся нажимные автоматы (1APDA) могут распознавать любой язык в (Чередование, Чандра, Козен и Стокмейер, 1981) . Заменив хранилище 1APDA со счетчиком, можно получить односторонний чередующийся автомат с одним счетчиком (1ACA). Мой вопрос о 1ACA на унарных языках.Д ТяMЕ( 2O ( n ))DTяMЕ(2О(N)) DTIME(2^{O(n)}) Может ли 1ACA распознавать некоторые унарные …

11 automata-theory  counter-automata  unary-languages 

Все мои учебники используют один и тот же алгоритм для создания DFA с заданным регулярным выражением: во-первых, создайте NFA, который распознает язык регулярных выражений, затем, используя конструкцию подмножества (он же «powerset»), преобразуйте NFA в эквивалентный DFA ( при желании минимизировать DFA). Я также однажды услышал от профессора намеки на существование …

11 automata-theory  regular-expressions  dfa