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

Рассматриваемые здесь преобразователи - это те, которые Википедия называет преобразователями конечного состояния . Поведение преобразователя , то есть вычисляемого им отношения, записывается как [ T ] : слово y является выходом для x тогда и только тогда, когда x [ T ] y .TTT[T][T][T]yYyxИксxx[T]yИкс[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 

Позволять AAAбыть конечным алфавитом. Для данного языкаL ⊆A*L⊆A∗L \subseteq A^{\ast}синтаксический Моноид M( Л )M(L)M(L)является известным понятием в теории формального языка. Кроме того, моноидMMM признает язык LLL если существует морфизм φ :A*→ Мφ:A∗→M\varphi : A^{\ast} \to M такой, что L =φ- 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)мы можем определить коллекцию функций еafaf_a для каждого a ∈ Γa∈Γa\in \Gammaи с еa: Q → Qfa:Q→Qf_a:Q\rightarrow Q, еa( д) = δ( д, )fa(q)=δ(q,a)f_a(q)=\delta(q, a), Мы можем обобщить это понятие на словоW =a1, ⋯ ,aмw=a1,⋯,amw=a_1, \cdots, …

9 automata-theory  regular-language  monoid 

Для фиксированного языка LLL на каком-то алфавите AAA, давайте рассмотрим следующую проблему, которую я называю LLL-Интерлевинг : Вход: два слова u,v∈A∗u,v∈A∗u, v \in A^* Вывод: существует ли там перемежения изuuu а также vvv который в LLL, Здесь чередование двух словuuu а также vvv это слово www что можно получить интуитивно, …

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