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

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보다 기하 급수적으로 …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

순열 구문은 표준 (E) BNF 컨텍스트 프리 문법 정의의 확장입니다. 순열 구문 에는 n 개의 프로덕션 (또는 이와 동일하게 비 터미널) A 1 - A n이 포함 됩니다. 순열 구의 위치에서, 우리는이 작품들 모두를 정확히 한 번보고 싶어하지만,이 비 터미널의 순서에는 관심이 없습니다.{ A1, … , A엔}{ㅏ1,…,ㅏ엔}\{ A_1, \dots, A_n …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

이 이론의 증거 DFAS의 교차점에 대한 순진 직교 - 제품 구성은 "우리가 할 수있는 최선"이라고는. 두 DFA의 연결은 어떻습니까? 간단한 구성은 각 DFA를 NFA로 변환하고 엡실론 전환을 추가하고 결과 NFA를 결정하는 것입니다. 더 잘할 수 있을까요? 최소 연결 DFA의 크기 ( "접두사"및 "접미사"DFA의 크기 측면)에 알려진 경계가 있습니까?

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

문맥 인식 언어 (CSL)와 완전성 에 관한 두 가지 질문에 관심이 있습니다 . CSL에 대한 완전성이라는 개념이 있습니까? NP- 완전한 자연스러운 CSL이 있습니까? 2의 경우 CSL 인 NP 완전 언어를 확실히 생각할 수 있습니다 (CSL은 NSPACE [ ], SAT는 CSL이므로). NP 완성 언어를 설명하는 민감한 문법 .nnn

16 np-hardness  fl.formal-languages  space-bounded 

언어 용 L ⊆ Σ ^ * 상기 정의 통사 합동 ≡ 의 L 에 적어도 적합성 등 Σ ^ * 저 포화의 L , 즉 : u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. 이제 Nerode 동등성 을 다음과 같은 올바른 합의로 정의하십시오 …

16 automata-theory  fl.formal-languages 

어떤 단어 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 정규 언어로 하자 …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다. 대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다.ϵϵ\epsilon 분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Kuroda의 고전적인 결과로, 복잡성 클래스 NSPACE [ ]엔nn (NLIN-SPACE라고도 함)는 상황에 맞는 언어 의 클래스 CSL입니다 . 만족도 문제 SAT 는 NSPACE [ ]에 있습니다. 솔루션에 대한 선형 크기 추정값은 기장을 위해 최대 선형 양의 오버 헤드로 확인할 수 있기 때문입니다. 이는 SAT에 상황에 맞는 문법 (CSG) 이 있어야 함을 …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Collatz 추측 을 공식적인 문법으로 조사하려는 시도에 대한 좋은 참고 문헌이 있는지 궁금합니다 . (또는 CS 커뮤니티에서 이러한 종류의 생성 현상 및 "정지"속성을 처리하려는 다른 시도).

16 fl.formal-languages  nt.number-theory  halting-problem 

이것은 반드시 연구 질문이 아닙니다. 호기심에 대한 질문 : "돌이킬 수없는"언어를 정의 할 수 있는지 이해하려고합니다. 첫 번째 추측으로, 로 및 로 쓸 수 있으면 언어 L을 "환원 가능"이라고합니다 . 그렇지 않으면 언어를 " 불가능"이라고합니다. . 사실입니까?A ∩ B = ∅ | A | , | B | > 1L=A⋅B엘=ㅏ⋅비L …

15 fl.formal-languages 

배경: 두 개의 결정 론적 유한 오토마타 A와 B가 주어지면 C의 상태를 A의 상태와 B의 상태의 데카르트 곱으로함으로써 제품 C를 형성합니다. 그런 다음 전환, 초기 상태 및 최종 상태를 선택합니다. C는 A와 B 언어의 교차점입니다. 질문 : (1) C를 B로 "분할"하여 A를 찾을 수 있습니까? 동형까지도 독특합니까? 우리는 여기와 아래의 …

15 fl.formal-languages  automata-theory  dfa 

언어 사양으로 DFA가 있더라도 정규 표현식의 크기를 최소화하는 것은 PSPACE- 완전한 것으로 알려져 있습니다 . 언어가 유한하면 결과는 무엇입니까? 두 가지 모델에서이 문제를 고려할 수 있습니다. 입력은 언어의 모든 문자열이며 모든 문자열의 길이의 합으로 입력 크기를 측정합니다. 입력은 DFA이며 DFA 상태 수에 따라 입력 크기를 측정합니다. Kleene 별은 유한 경우에 …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

문제 하자 = ⟨ Σ , Q , Q 0 , F는 , Δ가 ⟩ 언어 인식하는 부치 오토메이션 수 L ⊆ Σ ω를 . 우리는 가정 A는 다음과 같은 의미에서 수용 전략을 가지고 : 함수가 σ : Σ * → Q 의 파일럿 실행하는 데 사용할 수 있습니다 A는 …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

언어의 (일반화 된) 별 높이는 확장 된 정규 표현식으로 언어를 표현하는 데 필요한 Kleene 별의 최소 중첩입니다. 유한 알파벳 대한 확장 정규 표현식 은 다음을 충족합니다.ㅏAA (1) 및 a 는 모든 A에 대한 확장 정규식 입니다.∈∅ , 1∅,1\emptyset, 1ㅏaa∈a∈Aa\in A (2) 모든 확장 정규식 이자형, FE,FE,F ; 이자형∪ FE∪FE\cup F …

15 fl.formal-languages  lower-bounds  regular-expressions 

Jeffrey Shallit의 Automata 이론 의 두 번째 코스 4 장 에서 다음과 같은 문제가 공개적으로 나열되어 있습니다. 하자 P는 ( N )p(n)p(n) 와 같은 것이 합리적 계수와 다항식 P ( N ) ∈ Np(n)∈Np(n) \in \mathbb{N} 모든 N ∈ Nn∈Nn \in \mathbb{N} . 입증 또는 반증하는 모든 정수의베이스 K 표현 …

14 fl.formal-languages  nt.number-theory  grammars