문맥이없는 문법이라는 용어에서 문맥이없는 것은 실제로 무엇을 의미합니까?

나는 잠시 동안 컴파일러를 연구 해 왔고, 문법에서 "문맥"의 의미와 문법이 "문맥이없는"의미를 의미하지만 결과는 없습니다.

그래서 누구든지 이것을 도울 수 있습니까?

terminology context-free formal-grammars

"정말"은 무슨 뜻입니까? 어떤 설명을 읽고 이해하지 못합니까? IIRC, 문제에 관한 모든 중간 정도의 교과서가 의미하는 바를 설명합니다.

— Raphael

다음은 관련이 좋은 예입니다. "읽기"라는 단어를 고려하십시오. 그것은 완전히 다른 의미를 가진 한 단어입니다. 하나는 "읽는"현재 시제이고 다른 하나는 "읽은"과거 시제입니다. 텍스트에서 "읽기"라는 단어를 본 경우 문맥을 보지 않고 두 가지 의미 중 어느 것을 나타내는 지 명확하게 할 수 없습니다. 따라서 영어는 상황에 따라 다릅니다. 문맥에서 고려하지 않고 각 토큰 (단어)을 구문 분석 할 수 없기 때문입니다. 상황에 맞는 문법은 모든 토큰의 의미가이를 나타내는 단일 토큰에서 명확하게 추론 할 수있는 문법입니다.

— Alexander-복직 자 Monica Monica

답변:

Chomsky 계층 구조에서 다른 문법에 허용되는 생산 규칙과 관련하여 컨텍스트를 설명 할 수 있습니다.

컨텍스트가없는 문법을 고려할 경우 해당 규칙의 생성 규칙은 다음과 같습니다.

에이 \to α

$A \rightarrow \alpha$

따라서 이런 종류의 규칙의 왼쪽 부분은 하나의 비단 말 기호로만 구성되어 있습니다. 따라서, 비-터미널 심볼의 대체는 "컨텍스트", 즉 그것이 둘러싸인 다른 심볼을 고려하지 않고 일어난다.

반면 상황에 맞는 문법의 생산 규칙을 고려하면 다음과 같은 형식이됩니다.

β 에이 γ \to β α γ

$\beta A \gamma \rightarrow \beta \alpha \gamma$

여기서 는 비 말단이고 , , 는 비 말단 및 말단의 서열이다. $A$ $\alpha$ $\beta$ $\gamma$

이 경우, 치환 될 비 말단 기호 의 "문맥"(즉, 및 )은 치환의 영향에 영향을 미치며 이는 규칙 자체의 일부이다. $\beta$ $\gamma$

수학에 대한 이 답변 과 소프트웨어 공학에 대한 이 답변 에서 자세한 내용을 찾을 수 있습니다 .

— 파이 콧
소스

응답 해주셔서 감사합니다. 그러나 나에게 이상한 점은 수학 SE에 대해 비슷한 질문이 있다는 것입니다.

— Shady Atef

참고

및

생산의 결과의 일부가 될 필요가 없습니다. @David Richerby의 답변에서 볼 수 있듯이 다른 시퀀스로 대체 될 수도 있습니다.

β

$\beta$

γ

$\gamma$

— Frozn

@Frozn AFAIK 여기에 주어진 것은 Chmosky 계층에 따른 표준 정의입니다. 물론 모든 유형의 제작을 허용하는 문맥 감지보다 문법이 더 강력하지만 표준 문맥 감지 문법은 그렇지 않습니다.

— Bakuriu

@Frozn : Bakariu가 맞습니다. 여기서 우리는 Chomsky 계층 구조에 따라 정의 된 문법에 대해 이야기하고 있습니다. 이는 생산 규칙에 대한 점점 제한적인 조건을 기반으로합니다. 특히 문맥이없는 문법은 유형 2 문법이며 문맥에 맞는 문법은 유형 1입니다. 그러나 유형 0 문법에는 제한이없는 생산 규칙이 있으므로 무제한 재 작성 시스템이라고합니다. 여기 몇 가지 예와 함께 Chomsky 계층 구조에 대한 간단한 설명이 있습니다.

— PieCot

β A γ \to δ

$\beta A\gamma \rightarrow \delta$

| β A γ | \leq | δ |

$|\beta A\gamma| \leq |\delta|$

"컨텍스트"는 주변 텍스트입니다. 문맥이없는 문법은 규칙 처럼 보이기 때문에 문맥이 없습니다. $A\to\text{things}$ $\text{stuff}\,A\,\text{more-stuff}\to\text{things}$ $\mathrm{Expr}$ x:=y+zf(y+z)return y+z

— 데이비드 리처 비
소스

일반적으로 말해서 일반 언어조차도 컨텍스트 종속성이있을 수 있습니다. 즉, 해당 언어에 속하는 문자열의 다른 기호 근처에서 기호가 표시되는 방식을 어느 정도 결정할 수 있습니다.

문맥이없는 문법에 특정한 것은 오른쪽에 동일한 비 터미널이있는 다른 규칙을 적용하여 비 터미널 기호를 대체하는 여러 방법이있을 때 적용 할 규칙의 선택은 유도 과정에서이 기호 주위에 발생합니다.

그것들은 문맥이없는 파생 언어, 문맥이없는 언어로 간단히 생각할 수 있습니다 .

— 안드레 수자 레모
소스