Запитання з тегом «regular-language»

Розглянуті тут перетворювачі - це ті, що у Вікіпедії називають перетворювачами кінцевого стану . Поведінка перетворювача , тобто відношення, яке він обчислює, записується [ T ] : слово y - вихід для x iff x [ T ] y .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Питання: Чи вирішується така проблема: Дано: перетворювач і регулярний мову …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

DFA або NFA зчитується через рядок введення з однією головою, рухаючись зліва направо. Цілком природним є питання про машини з кінцевим станом, які мають кілька головок , кожна з яких рухається через вхід зліва направо, але не обов'язково там же, що і на вході, як і інші. Давайте визначимо машину …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Нехай - кінцевий алфавіт. Для даної мови синтаксичний моноїд являє собою добре відоме поняття в теорії формальних мов. Крім того, моноїд розпізнає мову якщо існує морфізм такий, що .ААAL ⊆А∗L⊆А∗L \subseteq A^{\ast} M(L)М(L)M(L)MМMLLLφ:A∗→Mφ:А∗→М\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ-1(φ(L)))L = \varphi^{-1}(\varphi(L))) Тоді ми маємо хороший результат: Моноїд розпізнає якщо є гомоморфним зображенням …

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

З огляду на повний DFA A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), ми можемо визначити набір функцій для кожної та за допомогою , . Ми можемо узагальнити це поняття до слова і де позначає склад функції. Крім того, позначимо а - моноїд.fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG = {fш∣ w …

9 automata-theory  regular-language  monoid 

Для фіксованої мови LLL на деякому алфавіті AAA, розглянемо наступну проблему, яку я закликаю LLL-INTERLEAVING : Введення: два слова u,v∈A∗u,v∈A∗u, v \in A^* Висновок: чи існує там перемежения зuuu і vvv що в LLL. Тут переплетення двох слівuuu і vvv це слово www що можна отримати інтуїтивно, взявши листи uuu …

9 cc.complexity-theory  reference-request  regular-language 

Нехай бути мовою, а також визначити по тоді і тільки тоді . Я шукаю посилання на:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Пропозиція. регулярний, якщо детермінована комунікаційна складність є постійною.LLLfLfLf_L Іншими словами, є регулярним, якщо існує протокол для двох гравців для таким …

9 reference-request  communication-complexity  regular-language 

Чи розпізнають недетерміновані лінійно-обмежені автомати з обмеженим відвідуванням лише регулярні мови? Під недетермінованим лінійним обмеженим автоматом (nLBA) я маю на увазі односмугову недетерміновану машину Тюрінга, де вхід надходить «з підкладкою» з кінцевими маркерами на обох кінцях, які ніколи не можна перезаписати, і так, щоб голова ніколи не могла рухатися з …

9 automata-theory  turing-machines  regular-language  space-bounded