«regular-language» 태그된 질문

여기에서 고려되는 변환기는 Wikipedia가 유한 상태 변환기를 호출하는 변환기 입니다. 변환기의 동작 , 그 계산의 관계가 기록되어있다, : 워드 위한 출력 인 IFF .[ T ] y x x [ T ] y티TT[ T][T][T]와이yy엑스xxx [ 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 

허락하다 ㅏAA유한 한 알파벳이어야합니다. 주어진 언어L ⊆ㅏ※L⊆A∗L \subseteq A^{\ast}구문 모노 이드 미디엄( L )M(L)M(L)공식적인 언어 이론에서 잘 알려진 개념입니다. 또한, monoid미디엄MM 언어를 인식 엘LL morphism이 있다면 φ :ㅏ※→ Mφ: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)함수 모음을 정의 할 수 있습니다 에프ㅏfaf_a 각각 ∈ Γa∈Γa\in \Gamma와 에프ㅏ: Q → Qfa:Q→Qf_a:Q\rightarrow Q, 에프ㅏ( q) = δ( q, )fa(q)=δ(q,a)f_a(q)=\delta(q, a). 이 개념을 한 단어로 일반화 할 수 있습니다w =ㅏ1, ⋯ ,ㅏ미디엄w=a1,⋯,amw=a_1, \cdots, a_m …

9 automata-theory  regular-language  monoid 

알파벳 의 고정 언어 경우 -INTERLEAVING 이라고하는 다음 문제를 고려하십시오 .LLLAAALLL 입력 : 두 단어u,v∈A∗u,v∈A∗u, v \in A^* 출력 :는 존재 여부 인터리빙 의 및 에 .uuuvvvLLL 여기, 두 단어 의 인터리빙uuu 과 vvv 단어입니다 www 그 편지를 복용함으로써 직관적으로 얻을 수 있습니다 uuu 과 vvv상대 순서를 유지하면서. 공식적으로www 인터리빙 …

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

허락하다 L⊆A∗L⊆A∗L \subseteq A^* 언어이고 정의 에프엘:ㅏ※×ㅏ※→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}하여 IFF . 다음에 대한 참조를 찾고 있습니다.에프엘( x , y) = 1fL(x,y)=1f_L(x, y) = 1x ⋅ y∈ Lx⋅y∈Lx\cdot y \in L 제안. 의 결정적인 통신 복잡성 이 일정 은 규칙적 이다.엘LL에프엘fLf_L 즉, …

9 reference-request  communication-complexity  regular-language 

경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까? 비결정론 적 선형 경계 오토 마톤 (nLBA)은 입력이 양 끝에 엔드 마커로 "채워져"덮어 쓰여질 수없는 단일 테이프 비결정론 적 튜링 머신을 의미하며, 헤드가 입력 영역 밖으로 이동할 수 없도록합니다. endmarkers "외부". 숫자가있는 경우 LBA는 경계 방문입니다 있도록 모두 에서 …

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