«regular-language» 태그된 질문

정규식 (Kleene의 의미로)으로 표현 될 수있는 공식 언어 또는 유한 오토마타가 수용 할 수있는 언어에 대한 질문.

5
모호성과 논리
오토마타 이론 (finite automata, pushdown automata, ...)과 복잡성에는 "모호성"이라는 개념이 있습니다. 적어도 2 개의 별개의 수용 실행을 갖는 단어 가 있으면, 오토 마톤은 모호하다 . 기계는 모든 단어에 대한 경우 -ambiguous 가장에있다가 기계에 의해 허용 받아들이는 별개의 실행 .k w k wwwwkkkwwwkkkwww 이 개념은 문맥이없는 문법에 대해서도 정의됩니다. 문법은 두 …
2
동일한 정규 언어의 최소 UFA (Unambiguous Finite Automaton)에 비해 NFA는 얼마나 작습니까?
UFA (Unambiguous Finite Automatons)는 NFA (Non-deterministic Finite Automatons)의 특수 유형입니다. 모든 단어 허용되는 경로가 하나 이상 있으면 NFA를 명확하게 호출 합니다.w∈Σ∗w∈Σ∗w\in \Sigma^* 이는 입니다.DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA 알려진 관련 오토 마톤 결과 : NFA 최소화는 PSPACE-Complete입니다. 유한 언어에 대한 NFA 최소화는 DP-Hard 입니다. UFA 최소화는 NP-Complete 입니다. 최소 DFA보다 기하 급수적으로 …
1
일정한 모호성이 일반 언어의 상태 복잡성을 줄일 수 있습니까?
어떤 단어 w exist Σ ∗ 가 0 또는 (정확한) k 경로로 받아 들여 지도록 k ∈ N 이 존재하면 NFA 은 지속적으로 모호 합니다.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk 오토 마톤 이 k = 1에 대해 지속적으로 모호 하다면 , M 은 UFA ( Unambiguous FA )라고 불린다 .MMMk=1k=1k=1MMM 정규 언어로 하자 …
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}
3
오토마타와 일반 언어에서 국가 복잡성의 중요성?
나는 두 개의 정규 언어 (Galina Jiraskova에 의한)의 연결로 인한 상태 복잡성에 대해 2009 년 Galina Jiraskova의 " 정규 언어와 설명 복잡성 연결 "을 읽고 있지만, 국가 복잡성의 실질적인 영향이 무엇인지 이해할 수 없습니다. . 나를 놀라게 한 첫 번째 사소한 생각은 복잡성이 높을수록 기계에 더 많은 시간과 공간이 필요하다는 …
1
문맥이없는 언어의 규칙 성을위한 충분한 조건
문맥이없는 언어 L이 규칙적임을 암시하는 조건의 목록을 수집하는 것이 좋을 것입니다. 특성 P는 정규 언어를 생성하는 CFG를 특성화하지 않아도됩니다. 또한, P는 결정 가능할 필요가 없으며, 문맥 상 언어가없는 언어 ( "L의 구문 단일체는 유한하다", "L은 공간 o (log log n)에서 결정할 수있다")에 따라 "어떻게 의존해야"하는가? 에, 내가 찾고있는 것이 아닙니다).
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
정규 언어 사이의 거리
나는 의 유한 단어의 두 정규 언어 Σ∗Σ∗\Sigma^*와 무한 단어 사이에 "친밀 성"이라는 개념을 정의하고 싶습니다 ΣωΣω\Sigma^\omega. 기본 개념은 두 단어가 많은 단어로 다르지 않은 경우 두 언어가 가까이 있기를 원한다는 것입니다. 우리는 어떤 방법으로 편집 거리를 사용할 수도 있습니다 ...이 문제에 대한 좋은 참고 자료를 찾을 수 없었습니다. 나는 …
4
(N) 초기 / 수락 상태가 동일한 DFA
유한 오토마타가 인식하는 초기 및 수용 상태가 동일한 언어 클래스에 대해 알려진 것은 무엇입니까? 이것은 정규 언어의 적절한 하위 집합입니다 (모든 언어에는 빈 문자열이 포함되어 있기 때문에). 간단한 대수적 특성이 있습니까? 비 결정적 오토마타가 동일한 초기 및 수용 상태 집합을 갖는 것으로 인식되는 언어에 적합합니다.
1
정규 언어 포함의 매개 변수화 된 복잡성
나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …
3
규칙적이고 문맥이없는 언어의 모호함
다음 주장이 사실임을 이해합니다. 주어진 CFG에서 문자열의 두 가지 별개의 파생은 때때로 동일한 구문 분석 트리를 문자열에 부여 할 수 있습니다. 다른 구문 분석 트리를 나타내는 특정 CFG에 일부 문자열의 파생이 있으면 CFG가 모호합니다. 모호한 CFG에 의해 생성 된 일부 컨텍스트가없는 언어도 모호하지 않은 CFG에 의해 생성됩니다. 어떤 언어들은 그것들을 …
1
DFA 크기의 함수로서 일반 언어의 동등성 클래스 수
이 질문은 관련이 최근 문제 로 Janoma . 배경 제약 프로그래밍에있어서, 일반 글로벌 제약 도메인을 통해 한 쌍 과 변수 튜플 (범위) 및 도메인 위에 DFA . 과제 에 만족 경우 문자열을 수락 .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) 아래에서는 도메인 가 고정되어 있다고 가정합니다 . 모든 DFA 대해 또는 경우 가 되도록 문자열 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.