«automata-theory» 태그된 질문

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

1
스택으로 단어를 푸시 할 수있는 눈에 띄게 푸시 다운 오토마타 변형이 있습니까?
나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다. 대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다.ϵϵ\epsilon 분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 …
2
유한 오토마타에 대해 잘 정의 된 나눗셈 연산이 있습니까?
배경: 두 개의 결정 론적 유한 오토마타 A와 B가 주어지면 C의 상태를 A의 상태와 B의 상태의 데카르트 곱으로함으로써 제품 C를 형성합니다. 그런 다음 전환, 초기 상태 및 최종 상태를 선택합니다. C는 A와 B 언어의 교차점입니다. 질문 : (1) C를 B로 "분할"하여 A를 찾을 수 있습니까? 동형까지도 독특합니까? 우리는 여기와 아래의 …
4
일반 언어의 계층
알려진 "좋은"계층 있습니까 L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots 일반 언어의 클래스 내부 (유한 수 있음) LLL ? 여기서 각 계층의 클래스는 서로 다른 표현성 / 힘 / 복잡성을 캡처합니다. 또한 각 클래스의 멤버 자격은 문제가 될 수있는 별 높이 문제와 달리 일부 요소에 의해 "멋지게"표시됩니다. 감사합니다!
2
일반 대 TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} 없는 의 문제점에 대한 후보 가 있습니까?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} 암시하는 조건부 결과가 있습니까 ( 예 : , ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
2
유한 언어에 대한 XOR 오토마타 (NXA)는주기의 이점을 제공합니까?
NXA (Non-deterministic Xor Automata)는 구문 상 NFA이지만 NFA의 경우 수용 경로 수가 홀수 인 경우 (NFA 경우 하나 이상의 허용 경로 대신) NXA에서 단어를 수락한다고합니다. 유한 한 정규 언어 , 어떤 주기도 포함하지 않는 최소 NFA가 존재 한다는 것을 쉽게 알 수 있습니다 (주기가 초기 상태에서 도달 할 수 있고 …
4
Haskell의 seq 연산과 호환되는 기능에 대한 eta-equivalence가 있습니까?
Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …
3
오토마타와 일반 언어에서 국가 복잡성의 중요성?
나는 두 개의 정규 언어 (Galina Jiraskova에 의한)의 연결로 인한 상태 복잡성에 대해 2009 년 Galina Jiraskova의 " 정규 언어와 설명 복잡성 연결 "을 읽고 있지만, 국가 복잡성의 실질적인 영향이 무엇인지 이해할 수 없습니다. . 나를 놀라게 한 첫 번째 사소한 생각은 복잡성이 높을수록 기계에 더 많은 시간과 공간이 필요하다는 …
2
반례가없는 오토마타 학습
에서 Angluin의 오토마타 학습 프레임 워크 , 학생의 목표는 일반 언어 배울 L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* 자신의 교사에게 질문 두 가지 유형의 요청에 의해 : 단어 쿼리 : 주어진 w∈Σ∗w∈Σ∗w\in \Sigma^* , w∈Lw∈Lw\in L ? 등가 쿼리 : 언어 주어진 K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* 입니다 K=LK=LK=L ? 그렇지 않은 경우 교사는 반례, 즉 단어 …
1
유한 한 오토 마톤이 받아 들일 수있는 별개의 글자가 가장 적은 단어 문제의 복잡성
유한 (결정 론적 또는 비결정론 적)을 감안할 때, 자동 마톤 A와 임계 값 n , A는 최대 n 개의 고유 문자를 포함하는 단어를 허용 합니까? ( k 다른 문자로 aabaa 에는 두 개의 다른 문자 a 와 b 가 있음을 의미합니다 .) 나는이 문제가 NP- 완전임을 보여 주었지만, 나의 축소는 …
4
(N) 초기 / 수락 상태가 동일한 DFA
유한 오토마타가 인식하는 초기 및 수용 상태가 동일한 언어 클래스에 대해 알려진 것은 무엇입니까? 이것은 정규 언어의 적절한 하위 집합입니다 (모든 언어에는 빈 문자열이 포함되어 있기 때문에). 간단한 대수적 특성이 있습니까? 비 결정적 오토마타가 동일한 초기 및 수용 상태 집합을 갖는 것으로 인식되는 언어에 적합합니다.
1
빠른 희소 부울 매트릭스 체인 제품
그래서, 나는 길이가 수십 ~ 수십 인 약 100-200 개의 매우 희박한 정사각형 부울 행렬을 얻었고 그들의 제품을 계산해야합니다. 나는 그것들을 연속적으로 곱하면 제품은 일반적으로 각 단계에서 스파 스로 유지됩니다. 이 경우 특히 빠르게 작동하는 매트릭스 체인 제품 알고리즘이 있습니까? 높은 수준에서 문제는 대부분의 요소가 0-3 이하로 매핑되는 상당히 작은 …
2
FSM의 상태가 전통적으로
동기식 논리 회로를 사용하여 FSM을 구현하는 방법을 가르치면서 이론적 인 CS 세계와 전기 공학 세계에서 "상태"는 일반적으로 (및 상태 공간 Q )로 표시됩니다. 먼저 EE.sx에 대해 질문 했지만이 주제를 조금 연구하면서 Turing의 원본 ​​1936 논문 에서도 q 1을 사용 한다는 것을 알았습니다 . . 튜링 기계의 상태를 나타 내기 위해 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.