«fl.formal-languages» 태그된 질문

공식 언어, 문법, 오토마타 이론

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가 존재 한다는 것을 쉽게 알 수 있습니다 (주기가 초기 상태에서 도달 할 수 있고 …
1
두 개의 카운터 머신이
다음 지침에 따라 표준 2 카운터 ( )를 가공 할 수 있습니다.c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT 다음 언어를 결정하십시오. L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n …
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의 " 정규 언어와 설명 복잡성 연결 "을 읽고 있지만, 국가 복잡성의 실질적인 영향이 무엇인지 이해할 수 없습니다. . 나를 놀라게 한 첫 번째 사소한 생각은 복잡성이 높을수록 기계에 더 많은 시간과 공간이 필요하다는 …
1
문맥이없는 언어의 규칙 성을위한 충분한 조건
문맥이없는 언어 L이 규칙적임을 암시하는 조건의 목록을 수집하는 것이 좋을 것입니다. 특성 P는 정규 언어를 생성하는 CFG를 특성화하지 않아도됩니다. 또한, P는 결정 가능할 필요가 없으며, 문맥 상 언어가없는 언어 ( "L의 구문 단일체는 유한하다", "L은 공간 o (log log n)에서 결정할 수있다")에 따라 "어떻게 의존해야"하는가? 에, 내가 찾고있는 것이 아닙니다).
2
구문 분석 트리를 업데이트하기위한 효율적인 알고리즘
이미 이미 분석하고 파싱 한 큰 코드 블록이 있다고 가정 해 봅시다. 한 글자 만 바뀌 었다고 가정하자. 파싱을 업데이트하고 싶지만 수정이 전체에 비해 매우 작기 때문에 전체를 다시 파싱 할 수는 없지만 재분석 할 범위를 결정하는 알고리즘이 있는지 알고 싶습니다. 이동하는 토큰 경계를 올바르게 처리합니다. 미리 감사드립니다!
1
{ww '입니다 | HamDist (w, w ')> 1} 컨텍스트가 없습니까?
최근 질문을 읽은 후에 "의 보완 {www∣...}{www∣...}\{ www \mid ...\} 문맥 자유?" ; 나는 반증 할 수 없었던 비슷한 문제를 기억했다. L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} 입니까? ∗ ∧ | 승 | = | w ' | ∧ H a m D …
1
정규 언어 사이의 거리
나는 의 유한 단어의 두 정규 언어 Σ∗Σ∗\Sigma^*와 무한 단어 사이에 "친밀 성"이라는 개념을 정의하고 싶습니다 ΣωΣω\Sigma^\omega. 기본 개념은 두 단어가 많은 단어로 다르지 않은 경우 두 언어가 가까이 있기를 원한다는 것입니다. 우리는 어떤 방법으로 편집 거리를 사용할 수도 있습니다 ...이 문제에 대한 좋은 참고 자료를 찾을 수 없었습니다. 나는 …
4
(N) 초기 / 수락 상태가 동일한 DFA
유한 오토마타가 인식하는 초기 및 수용 상태가 동일한 언어 클래스에 대해 알려진 것은 무엇입니까? 이것은 정규 언어의 적절한 하위 집합입니다 (모든 언어에는 빈 문자열이 포함되어 있기 때문에). 간단한 대수적 특성이 있습니까? 비 결정적 오토마타가 동일한 초기 및 수용 상태 집합을 갖는 것으로 인식되는 언어에 적합합니다.
3
가장 어려운 DCFL이 있습니까?
Greibach 유명 언어 정의 소위 결정적 버전 의 D 2 어떤 CFL의 역수가 형태 적 화상이되도록, H를 . DCFL에 대해 비슷한 형태가 존재하며, 허용되는 형태에 대한 제한이 있습니까?HHH디2D2D_2HHH (예 : M. Autebert, J. Berstel 및 L. Boasson. 문맥없는 언어 및 푸시 다운 오토마타 참조. R. Rozenberg 및 A. Salomaa, 편집자, …
2
반다이 크의 언어에 대한 참조 인
반다이 크 언어 는 다음의 문법에 의해 정의되는 S → S S를Dyck(k)Dyck(k)\mathsf{Dyck}(k) 심볼들의 세트를 통해 { ( 1 , ... , ( K , ) 1 , ... , ) (K) } . 직관적으로 Dyck 언어는 k 가지 종류의 균형 괄호 언어입니다. 예를 들어, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.