«automata-theory» 태그된 질문

추상 기계, 문법, 파싱, 문법 추론, 변환기 및 유한 상태 기술을 포함한 오토마타 이론

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 세트로 정의하십시오. (따라서 모든 …
3
길이가 긴 단어를 찾는 어려움
문제 설명 : 허락하다 M미디엄M (잠재적으로 결정적이지 않은) 푸시 다운 오토 마톤이어야하고 Aㅏ\cal A입력 알파벳입니다. 단어가 있습니까w∈A∗w∈A∗w \in \cal A^* 성 |w|≤k|w|≤k|w| \leq k 그것은 받아 들여진다 M미디엄M ? 이 문제가 NP-complete입니까? 연구 되었습니까? 그런 단어를 찾을 수있는 알고리즘이 있습니까?
1
단일체가 언어를 인식한다는 문장의 일반화
허락하다 ㅏ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))). 그런 다음 좋은 결과를 얻습니다. …
1
DFA 전환 전이 멤버십
완전한 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 …
3
단일 테이프 3 상태 TM에 의해 인식 가능한 언어 클래스
나는 정확히 하나의 테이프와 정확히 3 개의 상태 (즉, 시작 상태)를 가진 Turing Machines에 대해 궁금했습니다. q0q0q_0수락 상태 qacceptqacceptq_{accept}, 거부 상태 qrejectqrejectq_{reject}). 임의의 (유한 한) 테이프 알파벳을 허용합니다 (즉, 테이프 알파벳은 입력 알파벳과 같도록 제한되지 않습니다). 편의상 해당 TM이 인식 할 수있는 언어 클래스를 호출하십시오. C3C3C_3. 이 수업에 대해 몇 …
1
오토마타 인식
허락하다 ΣΣ\Sigma유한 한 알파벳이어야합니다. 코드 X엑스X 위에 ΣΣ\Sigma 의 하위 집합입니다 Σ∗Σ※\Sigma^* 각 단어가 X∗엑스※X^* 단어의 연결로 고유하게 표현 될 수 있습니다. X엑스X. 코드X엑스X만약 에 유한|X||엑스||X|유한하다. (최소) 오토마타 인식에 대해 알려진 것X∗엑스※X^* 유한 코드 X엑스X? 그러한 오토마타의 특징이 있습니까?X엑스X)? 그런 자동 기계를 가지고 코드를 추출하는 것이 가능합니까?X엑스X 다항식 시간에? 또한 …
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
경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까?
경계 방문 비 결정적 선형 경계 오토마타는 일반 언어 만 인식합니까? 비결정론 적 선형 경계 오토 마톤 (nLBA)은 입력이 양 끝에 엔드 마커로 "채워져"덮어 쓰여질 수없는 단일 테이프 비결정론 적 튜링 머신을 의미하며, 헤드가 입력 영역 밖으로 이동할 수 없도록합니다. endmarkers "외부". 숫자가있는 경우 LBA는 경계 방문입니다 있도록 모두 에서 …
1
최소 오토마타로서 지시 된 멀티 그래프
정규 언어가 주어짐 엘LL 알파벳 ㅏAA최소 결정 론적 오토 마톤은 일정한 외도를 가진 직접 연결된 다중 그래프로 볼 수 있습니다. | A ||A||A|및 표시된 초기 상태 (전이 레이블, 최종 상태 레이블을 잊음). 모든 정점에서 액세스 할 수 있어야하기 때문에 초기 상태를 유지합니다. 대화가 사실입니까? 즉, 지시 된 연결된 멀티 그래프지GG …
2
Brzozowski의 DFA 최소화 알고리즘을 다른 등급의 수용 상태로 유한 한 오토마타로 일반화합니까?
DFA를 동등한 최소 상태 DFA로 변환하는 Brzozowski의 알고리즘은 매우 간단합니다. 만약 가 DFA 모든 모서리를 반전시켜 형성된 NFA를 나타내면 이전 시작 상태를 수락 상태로 만들고 이전 수락을 허용합니다. 상태가 시작 상태이고, 이 NFA 서브 세트 구성을 적용한 결과를 나타내는 경우 , 는 와 동일한 언어를 가진 최소 상태 DFA입니다 .R(D)R(D)R(D)DDDP(N)P(N)P(N)NNNP(R(P(R(D))))P(R(P(R(D))))P(R(P(R(D))))DDD …
1
특수한 경우를위한 DFA 교차 알고리즘
특수한 경우 DFA 교차에 대한 효율적인 알고리즘에 관심이 있습니다. 즉, DFA가 특정 구조를 따르거나 제한된 알파벳으로 작동하는 경우. 그러한 경우 알고리즘을 찾을 수있는 소스가 있습니까? 질문을 너무 광범위하게 만들지 않기 위해 다음 구조가 특히 중요합니다. 교차 할 모든 DFA는 이진 알파벳 (0 | 1)으로 작동하며, 상관 없음 기호를 사용할 수도 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.