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

인지 인지는 알 수 .P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP 는 결정 론적 튜링 머신에서 다항식 시간으로 결정할 수있는 모든 언어 세트입니다. CSLCSLCSL 은 선형 경계 오토마타에 의해 결정된 언어 인 NSPACE (O (n)) 과 동등한 것으로 알려진 상황에 맞는 언어의 클래스입니다 NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)). 많은 오픈 질문은 한 가지 대답을 향한 경향 (이 …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

문제 설명 : 허락하다 M미디엄M (잠재적으로 결정적이지 않은) 푸시 다운 오토 마톤이어야하고 Aㅏ\cal A입력 알파벳입니다. 단어가 있습니까w∈A∗w∈A∗w \in \cal A^* 성 |w|≤k|w|≤k|w| \leq k 그것은 받아 들여진다 M미디엄M ? 이 문제가 NP-complete입니까? 연구 되었습니까? 그런 단어를 찾을 수있는 알고리즘이 있습니까?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

언어 간 변환을 정의하기위한 여러 가지 모델이 있습니다. 문자열 그래프에 대한 유한 상태 변환기와 MSO 정의 가능 그래프 변환은 내가 가장 잘 알고있는 두 가지입니다. 2-way 유한 상태 변환기 (1-way 대응보다 표현력이 우수함)와 MSO 정의 가능 문자열 변환은 결합기를 사용하는 덜 알려진 다른 모델과 함께 동일한 변환 세트를 캡처한다는 것을 …

9 fl.formal-languages 

수학적 분석, 연속 수학을 사용하여 공식 언어 문제를 해결 한 결과가 있는지 여부 예를 들어, 문맥이없는 언어와 일반 언어에 대한 교차 비 공백 문제를 해결합니다.

9 fl.formal-languages  automata-theory  context-free 

허락하다 ㅏAA유한 한 알파벳이어야합니다. 주어진 언어L ⊆ㅏ※L⊆A∗L \subseteq A^{\ast}구문 모노 이드 미디엄( L )M(L)M(L)공식적인 언어 이론에서 잘 알려진 개념입니다. 또한, monoid미디엄MM 언어를 인식 엘LL morphism이 있다면 φ :ㅏ※→ Mφ:A∗→M\varphi : A^{\ast} \to M 그런 L =φ− 1( φ ( L ) ) )L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))). 그런 다음 좋은 결과를 얻습니다. …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

모호한 CFG와 모든 CFG 의 비율은 무엇입니까 ? 두 세트 모두 셀 수없이 무한하기 때문에 비율이 잘 정의되어 있지 않습니다. 그러나 점근 밀도 는 어떻 습니까 ? 임n ↦ ∞# 크기 모호한 CFG < N# 크기 CFG < Nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ …

9 fl.formal-languages  grammars  context-free 

문맥없는 언어를 인식하기 위해 결정적이지 않은 푸시 다운 오토마타 (DPA = NPDA) 만 작동하는 이유를 알고 싶습니다. 결정 론적 푸시 다운 오토마타 (DPDA)가 왜 그런 언어를 인식하지 못합니까?

9 fl.formal-languages  automata-theory  context-free 

나는 파싱에 대한 대수 이론을 배우고 있습니다. 첫 번째 문제는 공식 언어 이론에 특정한 반 반지 사례를 찾는 것입니다. 다음은 두 가지 예를 구성하려는 시도입니다. 1 CNF 문법에서 세미 링의 요소는 다음과 같은 연산을 수행하는 터미널 및 비 터미널 심볼 세트입니다. i) 곱셈 -CYK 규칙에 따라 두 세트를 쌍으로 결합합니다. …

9 fl.formal-languages 

정규 표현식의 제한으로 인해 어떤 언어 세트가 생성되는지 궁금합니다. 모든 제한 사항에 각 요소에 대한 상수 기호가 있다고 가정ΣΣ\Sigma그리고 연결. 그런 다음 보체 / 음화, 변경 / 연합 및 Kleene 스타의 존재 유무에 따라 8 개의 클래스가 형성 될 수 있습니다. (예, '정상적인'정규식에는씨씨^C 연산자이지만 여기에 편리합니다.) 보체의 유무에 관계없이 교대와 …

9 fl.formal-languages  regular-expressions 

차트 파서는 Chomsky 표준 양식을 기반으로 또는 생산 규칙을 ​​기반으로 직접 구현할 수 있습니다. 현재 Chomsky 표준 양식을 사용하는 CYK 차트 파서가 있다고 가정합니다. 이진화는 고유하게 정의되지 않았습니다. 이는 CYK 차트 구문 분석의 성능에 영향을 줍니까? CYK 차트 파서의 성능을 향상시키기 위해이를 활용할 수 있습니까?

9 fl.formal-languages  parsing 

순열이 있습니까 π1,π2π1,π2\pi_1,\pi_2 다항식 크기 | 승 | =n|w|=n|w|=n유한 언어를 설명하는 문맥 자유 문법 { 승π1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} 알파벳 이상 { 0 , 1 }{0,1}\{0,1\}? 업데이트 : 한 순열 ππ\pi 것이 가능하다. ππ\pi 반전의 반전 또는 비교적 작은 수정입니다.

9 fl.formal-languages  grammars  context-free 

내 경험상, 문맥 인식 언어와 선형 경계 오토마타는 계산 이론 이론에서 자주 건너 뛰거나 삐걱 거리며, 유한하고 푸시 다운 오토마타는 많은 관심을받지 만 주목할만한 교과서에서 제외됩니다. LBA가 상대방보다 집중력이 떨어지는 이유는 분명할까요?

9 computability  fl.formal-languages  automata-theory