«grammars» 태그된 질문

2
{ } 컨텍스트에 맞지 않습니까?
언어 { }에 컨텍스트가 없습니까?에이나는비j기음케이 | i≠j,i≠k,j≠k aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k 나는이 질문의 거의 모든 변형을 i, j 및 k 사이의 관계에 대해 다른 조건으로 만났음을 알았습니다. 내 생각 엔 문맥에 맞지 않지만 증거가 있습니까?
4
가장 강력한 종류의 파서는 무엇입니까?
부수적 프로젝트로 파이썬을 사용하여 언어를 작성하고 있습니다. 나는 Ply라는 flex / bison 클론을 사용하여 시작했지만, 그 스타일의 문법으로 표현할 수있는 것의 힘에서 우위에 섰습니다. 도구. 그러므로 나는 내 자신을 쓰는 것을 싫어하지 않습니다. 가장 강력한 파서 유형은 무엇입니까? 논문에 대한 인용 (더 많은 입문 기사)도 환영합니다. ( '강력한'은 정확하게 정의되어 …
4
푸시 다운 오토마타를 사용하여 문맥이없는 언어에 대한 펌핑 보조 성 증명
일반 언어에 대한 펌핑 보조 정리 , 공부 언어를 인식하는 유한 상태 자동 장치를 고려 상태의 수보다 길이 더 큰 문자열을 따기, 그리고 비둘기 집 원리를 적용하여 입증 할 수있다. 그러나 문맥이없는 언어 (약간 일반적인 Ogden의 정리)에 대한 펌핑 보조 는 연구 된 언어의 문맥이없는 문법을 고려하고 충분히 긴 문자열을 …
1
명확한 문맥이없는 언어의 동등성을 결정할 수 있습니까?
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …
6
문법을 통해 어떤 계산 모델을 표현할 수 있습니까?
이것은 문법 프로그램입니까? 의 재구성입니다 . Vag가 이전에 요청했으며 주석 작성자의 많은 제안이 있습니다. 문법은 어떤 방식으로 계산 모델을 지정하는 것으로 볼 수 있습니까? 예를 들어 다음과 같은 간단한 문맥없는 문법을 사용하는 경우 G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' …
2
더 높은 차원의 생성 문법이 있습니까?
컴퓨터 음악에 관심이 있는데 음악 조각을 생성 문법이나 L- 시스템의 문장으로 취급하는 방법이 있습니다. 작성하는 대신 문법을 지정하고 컴퓨터에서 음악을 생성 할 수 있습니다. 예를 들어 폴 후닥 (Paul Hudak) 말기 예일 그룹은 매우 강력하다. 우리는 L- 시스템을 이용한 식물 성장과 같은 더 높은 차원의 것들을 표현하기 위해 겉보기에 1 …
9 grammars 
1
모호한 문맥이없는 문법 (CFG)의 점근 밀도
모호한 CFG와 모든 CFG 의 비율은 무엇입니까 ? 두 세트 모두 셀 수없이 무한하기 때문에 비율이 잘 정의되어 있지 않습니다. 그러나 점근 밀도 는 어떻 습니까 ? 임n ↦ ∞# 크기 모호한 CFG < N# 크기 CFG < Nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.