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

Теория автоматов, включая абстрактные машины, грамматики, синтаксический анализ, грамматический вывод, преобразователи и методы конечного состояния

1
Сравнивался рост числа синтаксических классов и классов Nerode.
Для языка L ⊆ Σ ^ * определите синтаксическую конгруэнцию ≡ в L как наименьшую конгруэнцию на Σ ^ *, которая насыщает L , т.е. u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Теперь определим эквивалентность Nerode как следующее правильное сравнение: u ∼ v …
2
Есть ли четко определенная операция деления на конечных автоматах?
Фон: Учитывая два детерминированных конечных автомата A и B, мы формируем произведение C, позволяя состояниям в C быть декартовым произведением состояний в A и состояний в B. Затем мы выбираем переходы, начальное состояние и конечные состояния, так что язык, принятый C является пересечением языков для A и B. Вопросов: (1) …
2
Büchi автомат с приемной стратегией
Проблема Пусть - автомат 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 для всех …
1
Новое доказательство прокачки леммы для регулярных языков
Пусть LL\mathcal{L} - семейство всех языков над ΣΣ\Sigma удовлетворяющих свойству накачки регулярных языков. А именно: для каждого L∈LL∈LL\in\mathcal{L} существует N∈NN∈NN\in\mathbb{N} st для каждого слова w∈Lw∈Lw\in L , |w|>N|w|>N|w|> N можно записать в виде w=xyzw=xyz w=xyz где: 1. |y|>0|y|>0|y|>0 , 2. |xy|≤N|xy|≤N|xy|\le N , 3. для всех i ≥ 0 .xyiz∈Lxyiz∈Lxy^i …
4
Иерархии на обычных языках
Существует ли какая-либо известная «хорошая» иерархия L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (может быть конечной) внутри класса регулярных языков ? К счастью, классы в каждой иерархии отражают различную выразительность / мощность / сложность. Кроме того, членство каждого класса «красиво» демонстрируется некоторыми элементами (в отличие от проблемы высоты звезды, которая …
2
Преимущества автоматов XOR (NXA) для конечных языков от циклов?
Недетерминированный Xor автомат (NXA) является синтаксически NFA, но говорят, что NXA принимает слово, если оно имеет нечетное число принимающих путей (вместо хотя бы одного принимающего пути в случае NFA). Легко видеть, что для конечного регулярного языка LLL существует минимальный NFA, который не содержит циклов (если цикл был и достижимым из …
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
3
Значение сложности состояния в автоматах и ​​регулярных языках?
Я читаю " Объединение регулярных языков и сложность описания " Галины Йирасковой, 2009 г., о сложности состояний, возникающей в результате объединения двух регулярных языков (Галина Жираскова), но я не могу понять, каковы будут практические последствия сложности состояний , Первая тривиальная мысль, которая меня поразила, заключалась в том, что более высокая …
3
О реализации моноидов как синтаксических моноидов языков
Пусть - некоторый язык, тогда мы определим синтаксическую конгруэнцию как 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 …
2
Автоматическое обучение без контрпримеров
В системе автоматического обучения Англуина ученик стремится выучить обычный язык L ⊆ Σ*L⊆Σ*L\subseteq \Sigma^* , задавая своему учителю два типа вопросов: Запросы по словам: если w ∈ Σ*вес∈Σ*w\in \Sigma^* , есть ли ?w ∈ Lвес∈Lw\in L Запросы на эквивалентность: если задан язык , является ли ? Если нет, то учитель …
1
Сложность проблемы слов с наименьшим количеством различных букв, принимаемых конечным автоматом
Учитывая конечный (детерминированный или недетерминированный, я не думаю, что это имеет большое значение) автомат A и порог n , принимает ли A слово, содержащее не более n различных букв? (Под k разными буквами я подразумеваю, что aabaa имеет две разные буквы, a и b .) Я показал, что эта задача …
4
(N) DFA с таким же начальным / принимающим состоянием (ями)
Что известно о классе языков, распознаваемых конечными автоматами, имеющими одинаковое начальное и принимающее состояние? Это правильное подмножество обычных языков (поскольку каждый такой язык содержит пустую строку), но насколько он слаб? Есть ли простая алгебраическая характеристика? То же самое для языков, распознаваемых недетерминированными автоматами с одинаковым набором начальных и принимающих состояний.
1
Быстро разреженный булев матричный цепной продукт
Итак, у меня есть около 100-200 очень разреженных квадратных логических матриц с длиной стороны ~ несколько десятков, и мне нужно вычислить их произведение. Я знаю, что, если я умножу их поочередно, продукт, как правило, останется разреженным на каждом этапе. Существуют ли какие-либо алгоритмы матричной цепочки, которые работают особенно быстро в …
2
Почему состояние FSM традиционно обозначается как
Обучая, как реализовывать автоматы с использованием синхронных логических схем, я заметил интересное совпадение: как в теоретическом мире CS, так и в мире электротехники «состояние» обычно обозначается как (и пространство состояний Q ). Сначала я спросил об EE.sx , но затем, немного исследуя эту тему, я обнаружил, что даже в оригинальной …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.