«dfa» 태그된 질문

여기에서 고려되는 변환기는 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의 일반화에 관심이 있습니다. 평소와 같이 상태 설정 , 유한 알파벳 , 의해 에 정의 된 -action 및 초기 상태 ; 그러나 일반적인 터미널 세트 대신에 우리 는 의 부분 집합의 패밀리 를 취합니다 . 다국어 DFA 은 튜플입니다.QQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, (T_i)) 과 L⊆Σ∗L⊆Σ∗L …

10 automata-theory  dfa 

업데이트 :이 문제는 최근에 연구되어 해결 된 것으로 보입니다 .http : //en.wikipedia.org/wiki/Tree_walking_automaton 및이 설문 조사 : http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf 일반적인 단어 집합 인 {0,1} * 대신에 우리의 단어가 선형이 아니라 일부 트리 구조에 있다고 가정 해 봅시다. 우리 기계가 "잃어 버리는"것을 방지하기 위해, 단어를 이진 임베디드 arborescence 세트로 정의하십시오. (따라서 모든 …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

허락하다 ΣΣ\Sigma 알파벳이되다 222크기가 최대 한도 인 최소 DFA를 고려하십시오. m미디엄m. 허락하다f(m)에프(미디엄)f(m) 서로 다른 최소 DFA 수를 나타냅니다. 에 대한 폐쇄 형 공식을 찾을 수 있습니까? f(m)에프(미디엄)f(m)? 그것을 고려하여 | Σ|=2|Σ|=2|\Sigma|=2 최대 크기의 DFA의 전환 기능 m미디엄m그래프입니다. 노드 정도는222각 노드마다 m2미디엄2m^2호 쌍의 가능성 (주석에서 제안한 바와 같이). 이 그래프에는 최대미디엄미디엄m …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

특수한 경우 DFA 교차에 대한 효율적인 알고리즘에 관심이 있습니다. 즉, DFA가 특정 구조를 따르거나 제한된 알파벳으로 작동하는 경우. 그러한 경우 알고리즘을 찾을 수있는 소스가 있습니까? 질문을 너무 광범위하게 만들지 않기 위해 다음 구조가 특히 중요합니다. 교차 할 모든 DFA는 이진 알파벳 (0 | 1)으로 작동하며, 상관 없음 기호를 사용할 수도 …

9 automata-theory  time-complexity  dfa