«closure-properties» 태그된 질문

문맥이없는 언어는 보완 없이 닫히지 않습니다 . 내가 이해 하는 한 , 일부 문자 a , b 의 의 일부인 문맥없는 언어는 보완 (!?)으로 닫힙니다.ㅏ※비※a∗b∗a^*b^*a , ba,ba,b 여기 내 주장이 있습니다. 각 CF 언어 엘LL 에는 반 선형 Parikh 이미지 π( L ) = { ( m , n ) …

20 formal-languages  reference-request  context-free  closure-properties 

이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( HALHALHAL )에 의해 받아 들여진 언어 세트가 문맥이없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아님 을 …

16 formal-languages  automata  closure-properties 

GGG 를 문맥없는 문법으로 하자 . 단자의 비끝의 문자열 GGG 것으로 알려져 sentential 형태 의 GGG 는의 제작에 적용하여 얻을 수있는 경우 GGG 의 시작 심볼 0 번 이상 SSS . SF(G)SF⁡(G)\operatorname{SF}(G) 일련의 형태로 보자 GGG. 하자 α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) 및하자 ββ\beta 의 문자열이 될 αα\alpha - 우리가 전화 조각 …

14 formal-languages  context-free  formal-grammars  closure-properties 

다음에 대한 귀하의 도움을 진심으로 바랍니다. 를 들어 어떤 고정 된 나는 다음 연산자에서 폐쇄가 있는지 여부를 결정해야합니다 :엘2L2L_2 ㅏ아르 자형( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .ㅏ엘( L ) = { x ∣ …

13 formal-languages  regular-languages  closure-properties 

은 알파벳 Σ = { a , b }에 대한 정규 언어입니다. w ∈ Σ ∗ 에 관한 L 의 왼쪽 몫은언어 w − 1 L입니다 . = { v ∣ w v ∈ L }엘LLΣ = { a , b }Σ={a,b}\Sigma = \{a,b\}엘LLw ∈ Σ※w∈Σ∗w \in \Sigma^*승− 1L : …

13 formal-languages  regular-languages  closure-properties 

나는 그 질문을 보았습니다 : "노동자들이 정규 언어를 출력하지 않는 두 개의 정규 언어의 예를 들어보십시오." 나는 정규 언어가 노동 조합에서 폐쇄되었다고 믿기 때문에 나에게 충격적입니다. 어느 내가이 개 일반 언어와 조합을 가지고가는 경우에, 나는 나에게 의미 합니다 정규 언어를 얻을. 그리고 나는 그 증거를 이해한다고 생각합니다. 내 말로, 언어가 …

12 formal-languages  regular-languages  closure-properties 

경우 2 일반, 것을 따르지 A는 일반입니까?ㅏ2A2A^2ㅏAA 증거에 대한 나의 시도 : 그렇습니다. 모순을 위해 ㅏAA 가 규칙적이지 않다고 가정하십시오 . 그런 다음 ㅏ2= A ⋅ AA2=A⋅AA^2 = A \cdot A 입니다. 두 개의 비정규 언어의 연결이 규칙적이지 않기 때문에 ㅏ2A2A^2 는 규칙적 일 수 없습니다. 이것은 우리의 가정과 모순됩니다. …

12 formal-languages  regular-languages  closure-properties 

조합 / 교차로 / 연결된 언어를 결정할 수있는 결정 불가능한 언어가 있습니까? 일반적으로 결정 불가능한 언어가 이러한 작업에서 닫히지 않기 때문에 이러한 예의 물리적 해석은 무엇입니까? 클라인 폐쇄에 대해 무엇을 말할 수 있습니까? 우리도 그에 대한 예를 가지고 있습니까? 즉, 결정 불가능한 언어의 종결을 결정할 수 있습니까? 또한 결정 불가능한 …

12 formal-languages  undecidability  closure-properties 

의 보수가 클로저 속성을 사용하여 규칙적이지 않다는 것을 증명하고 싶습니다 .{ 0엔1엔∣ n ≥0 }{0엔1엔∣엔≥0}\{0^n1^n \mid n \geq{} 0\} 펌핑 lemma를 사용하여 이 일반 언어가 아님 을 증명할 수 있습니다 . 또한 정규 언어가 보완 작업으로 닫혀 있음을 이해합니다. 그러나 이것이 비정규 언어의 보완이 비정규임을 의미 하는가?{ 0엔1엔∣ n ≥0 …

12 formal-languages  regular-languages  closure-properties 

언어 L 의 순환 쉬프트 ( 회전 또는 컨쥬 게이션 이라고도 함 )는 { y x ∣ x y ∈ L } 로 정의됩니다 . 위키 백과 (및 여기 ) 에 따르면 오 시바 (Oshiba)와 마스 로프 (Maslov)의 논문을 참조하여 문맥없는 언어가이 작업에서 닫힙니다. 이 사실에 대한 쉬운 증거가 있습니까?엘LL{ …

11 formal-languages  context-free  closure-properties 

하자 , , , 일반적인 알파벳을 통해 네드 드 파이입니다 각각의 문맥 자유 언어의 인터넷에서 무한 시퀀스가 될 Σ . L 을 L_1 , L_2 , L_3 , \ dots 의 유한 합집합 이라고합시다 . 즉, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots 입니다.L …

11 formal-languages  context-free  closure-properties 

어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

정규 표현식을 보는 한 가지 방법은 다음 사실에 대한 건설적인 증거입니다. 작은 언어로 시작하여 작은 고정 된 클로저 속성 세트를 통해 정규 언어를 조합하여 일반 언어를 구성 할 수 있습니다. 특히 빈 언어, 빈 문자열을 포함하는 언어 및 모든 단일 문자 문자열의 언어로 시작하면 공용체, 연결 및 Kleene 스타를 사용하여 …

10 formal-languages  context-free  closure-properties  regular-expressions 

다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata