«dfa» 태그된 질문

결정 론적 유한 오토마타에 대한 질문

1
트랜스 듀서의 출력 길이가 입력 길이에 의해 제한되는지 여부를 결정할 수 있습니까?
여기에서 고려되는 변환기는 Wikipedia가 유한 상태 변환기를 호출하는 변환기 입니다. 변환기의 동작 , 그 계산의 관계가 기록되어있다, : 워드 위한 출력 인 IFF .[ T ] y x x [ T ] y티TT[ T][T][T]와이yy엑스xxx [ T] yx[T]yx[T]y 질문 : 다음 문제를 결정할 수 있습니까? 주어진 : 트랜스 듀서 와 정규 …

1
다국어 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 …

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

2
최대 크기의 최소 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 …

1
특수한 경우를위한 DFA 교차 알고리즘
특수한 경우 DFA 교차에 대한 효율적인 알고리즘에 관심이 있습니다. 즉, DFA가 특정 구조를 따르거나 제한된 알파벳으로 작동하는 경우. 그러한 경우 알고리즘을 찾을 수있는 소스가 있습니까? 질문을 너무 광범위하게 만들지 않기 위해 다음 구조가 특히 중요합니다. 교차 할 모든 DFA는 이진 알파벳 (0 | 1)으로 작동하며, 상관 없음 기호를 사용할 수도 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.