문맥이없는 언어의 규칙 성을위한 충분한 조건

문맥이없는 언어 L이 규칙적임을 암시하는 조건의 목록을 수집하는 것이 좋을 것입니다.

특성 P는 정규 언어를 생성하는 CFG를 특성화하지 않아도됩니다. 또한, P는 결정 가능할 필요가 없으며, 문맥 상 언어가없는 언어 ( "L의 구문 단일체는 유한하다", "L은 공간 o (log log n)에서 결정할 수있다")에 따라 "어떻게 의존해야"하는가? 에, 내가 찾고있는 것이 아닙니다).

— fh
소스

일반적인 질문을 결정할 수 없을 것 같습니다. 비유는 A가 B보다 "작은"언어 클래스 인 "B는 실제로 A"라는 다른 이론이 있다는 것입니다. 여기에 비슷한 질문이 있지만 지금은 찾을 수없는 CFL이 있습니다.

— vzn

"정규성"이란 말은 정말 정규 언어입니까?

— vzn

알았어. 이 질문은이 질문과 매우 유사합니다. "CFG는 실제로 RL

— 입니까?

o (n l o g n)

$o(n log n)$

동의하면 구별이 유효합니다. 그러나 동시에 일반적인 문제를 결정할 수없는 것도 중요합니다. "충분한 조건"은 일반적으로 알고리즘과 밀접하게 연결되어 있습니다 (예 : o (n lg n)에 시간 복잡성을 부여한 예).

— vzn

모든 단항 문맥없는 언어는 규칙적입니다. (예 : 파리 크 정리의 직접적인 결과)
문맥이없는 언어 L의 모든 반복 / 펌핑 쌍이 퇴화 되면 L은 규칙적입니다. 즉, 모든 단어 x, u, y, v, z가 다음을 충족하면 L은 규칙적입니다.
$엑스 유^{엔} 와이 V^{엔} 지 \in 엘, 모든 엔 \geq 0 ⟹ 엑스 유^{나는} 와이 V^{제이} 지 \in 엘, 모든 나는, 제이 \geq 0.$ $xu^nyv^nz \in L, \text{for all } n \geq 0 \implies xu^iyv^jz \in L, \text{ for all }i,j \geq 0.$ 이것은 Rohenberg의 Ehrenfeucht에 의해 입증되었습니다. "강한 반복적 쌍과 문맥이없는 언어의 규칙 성", 1983 년. Berstel과 Boasson의 "문맥이없는 언어" 를 참조하십시오 .
문맥이없는 언어가 정형적이고 선형 적이라면 규칙적입니다. (Ehrenfeucht, Haussler, Rozenberg, "문맥없는 언어의 규칙 성" , 1983)

— fh
소스