Вопросы с тегом «fl.formal-languages»

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

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

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

12 fl.formal-languages  automata-theory 

Скажем, у кого-то есть язык , но вы не знаете, какие строки на самом деле являются частью языка. Все, что есть, - это конечное представление языка: конечный набор строк о которых известно, что они есть в языке, и конечный набор строк , которые известны не быть на языке.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 

Это, вероятно, довольно просто, но рассмотрим стандартную проблему почтовой корреспонденции: Учитывая и , найдите последовательность индексов такую, что . Это, конечно, неразрешимо.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i Kα1,…,αNα1,…,αN\alpha_1, …

12 computability  fl.formal-languages 

Я переместил этот вопрос из stackoverflow, где id не получил ответов. У нас был похожий вопрос , является ли JSON регулярным : JSON и XML часто называют языками без контекста - они оба определяются в основном формальной грамматикой в ​​EBNF. Однако это верно только для JSON, как определено в RFC …

12 fl.formal-languages 

Хорошо известно, что дополнение к зависит от контекста. Но как насчет дополнения ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

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

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

Пусть язык и f : Σ ⋆ × Σ ⋆ → Σ ⋆ функция по двум параметрам со свойством, которое для всех x и y , f возвращает элемент из L тогда и только тогда, когда x и y являются элементами из L :LLLе: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L …

11 reference-request  fl.formal-languages 

Система векторного сложения (VAS) - это конечный набор действий . - это набор разметок . В рабочем цикле является непустое слово маркировки й . Если такое слово существует , мы говорим , что является достижимым из .A ⊂ Z d A⊂ZdA \subset \mathbb{Z}^dN dNd\mathbb{N}^dm 0 m 1 … m nm0m1…mnm_0 …

11 fl.formal-languages  decidability 

Рассмотрим следующую проблему: Для двух строк x, y решите, существует ли строковый гомоморфизм f такой, что f (x) = y. Легко показать , что эта проблема находится в . Есть ли что-то еще, что мы можем сказать об этой проблеме? Например, это в c o N P или даже в …

11 cc.complexity-theory  reference-request  fl.formal-languages 

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

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

РЕДАКТИРОВАТЬ (Тара B): Я все еще был бы заинтересован в ссылке на доказательство этого, так как я должен был доказать это сам для моей собственной статьи. Я ищу доказательство теоремы 4, которое появляется в этой статье: Бесконечная иерархия пересечений контекстно-свободных языков Лю и Вейнера. Теорема 4: - мерное аффинное многообразие …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Этот вопрос связан с недавним вопросом по 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 

Следующая проблема разрешима: Имеет ли контекстная грамматика , ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Следующая проблема неразрешима: Имеет ли контекстно-свободная грамматика GGG , L(G)=A∗L(G)=A∗L(G) = A^{\ast} ? Существует ли характеристика контекстно-свободных языков MMM с разрешимым равенством L(G)=ML(G)=ML(G) = M ?

11 computability  fl.formal-languages