Вопросы с тегом «regular-language»

В теории автоматов (конечных автоматов, автоматов с выталкиванием, ...) и в сложности существует понятие «неоднозначность». Автомат является неоднозначным, если существует слово по крайней мере, с двумя различными принимающими сериями. Машина является неоднозначной, если для каждого слова принятого машиной, существует не более различных прогонов, чтобы принять .K W K WвесвесwККkвесвесwККkвесвесw Это …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Мы говорим , что НКА является постоянно Неоднозначность , если существует K ∈ N такое , что любое слово W ∈ Е * принимается либо 0 или (точно) К путям.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Если автомат постоянно неоднозначен при k = 1 , то M называется однозначным FA (UFA).MMMk=1k=1k=1MMM Пусть обычный язык.LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Однозначные конечные автоматы (UFA) - это особый тип недетерминированных конечных автоматов (NFA). NFA называется однозначным, если каждое слово имеет не более одного приемлемого пути.w ∈ Σ*вес∈Σ*w\in \Sigma^* Это означает , что .D FA ⊂ UFA ⊂ NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Известные связанные результаты автоматов: Минимизация NFA - PSPACE-Complete. Минимизация NFA над …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Проблема Пусть - автомат Büchi, распознающий язык . Мы предполагаем , что имеет стратегию приема в следующем смысле: существует функция , которые могут быть использованы для пилотных серий . Мы формализуем это следующими условиями:L ⊆ Е ш σ : Е * → QA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 для всех …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Существует ли какая-либо известная «хорошая» иерархия L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (может быть конечной) внутри класса регулярных языков ? К счастью, классы в каждой иерархии отражают различную выразительность / мощность / сложность. Кроме того, членство каждого класса «красиво» демонстрируется некоторыми элементами (в отличие от проблемы высоты звезды, которая …

14 automata-theory  regular-language  regular-expressions 

Согласно Сложности Zoo , и мы знаем, что R e g не может сосчитать, поэтому T C 0 ⊈ R e g . Однако это не говорит, если R e g ⊆ T C 0 или нет. Поскольку мы не знаем N C 1 ⊈ T C 0, мы также …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Я читаю " Объединение регулярных языков и сложность описания " Галины Йирасковой, 2009 г., о сложности состояний, возникающей в результате объединения двух регулярных языков (Галина Жираскова), но я не могу понять, каковы будут практические последствия сложности состояний , Первая тривиальная мысль, которая меня поразила, заключалась в том, что более высокая …

14 fl.formal-languages  automata-theory  regular-language 

Было бы неплохо собрать список условий, которые подразумевают, что язык L без контекста является регулярным, то есть условия вида: «если данный CFG / PDA имеет свойство P, то его языки являются регулярными» Свойство P не должно характеризовать CFG, генерирующие регулярные языки. Кроме того, P не должен быть разрешимым, и P …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Пусть - некоторый язык, тогда мы определим синтаксическую конгруэнцию как u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L и фактор-моноид X ∗ / ∼ L равен называется синтаксическим моноид из L .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

В системе автоматического обучения Англуина ученик стремится выучить обычный язык L ⊆ Σ*L⊆Σ*L\subseteq \Sigma^* , задавая своему учителю два типа вопросов: Запросы по словам: если w ∈ Σ*вес∈Σ*w\in \Sigma^* , есть ли ?w ∈ Lвес∈Lw\in L Запросы на эквивалентность: если задан язык , является ли ? Если нет, то учитель …

13 automata-theory  regular-language 

Я хочу определить понятие «близости» между двумя регулярными языками конечных слов в Σ*Σ*\Sigma^* (и / или бесконечными словами в ΣωΣω\Sigma^\omega ). Основная идея состоит в том, что мы хотим, чтобы два языка были близки, если они не отличаются по многим словам. Мы могли бы также использовать расстояние редактирования каким-то образом …

13 reference-request  fl.formal-languages  regular-language 

Что известно о классе языков, распознаваемых конечными автоматами, имеющими одинаковое начальное и принимающее состояние? Это правильное подмножество обычных языков (поскольку каждый такой язык содержит пустую строку), но насколько он слаб? Есть ли простая алгебраическая характеристика? То же самое для языков, распознаваемых недетерминированными автоматами с одинаковым набором начальных и принимающих состояний.

13 fl.formal-languages  automata-theory  algebra  regular-language 

Меня интересует классическая проблема РЕГУЛЯРНОГО ВКЛЮЧЕНИЯ ЯЗЫКА. Для регулярного выражения обозначим через L ( E ) связанный с ним регулярный язык. (Регулярные выражения на фиксированном алфавите Σ с объединением операций, звездой Клини и конкатенацией.)ЕЕEL ( E)L(Е)L(E)ΣΣ\Sigma Входные данные: два регулярных выражения и E 2 Вопрос: Верно ли, что L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Я понимаю следующие утверждения, чтобы быть правдой: Два разных вывода строки в данном CFG могут иногда приписывать строку одному и тому же дереву разбора. Когда есть производные некоторой строки в данном CFG, которые приписывают различные деревья разбора, CFG является неоднозначным. Некоторые языки без контекста, генерируемые неоднозначными CFG, также генерируются однозначными …

11 fl.formal-languages  regular-language  context-free 

Этот вопрос связан с недавним вопросом по Janoma . Фон В программировании ограничений, A регулярное глобальное ограничение ccc над областью DDD представляет собой пару (s,M)(s,M)(s, M) с sss кортежем переменных (о масштабе) и MMM ДКА над областью DDD . Назначение θθ\theta для sss удовлетворяет ccc если MMM принимает строку θ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language