격식어 인용부

language에 관한 수학과 컴퓨터 과학, 언어의 오른쪽 지수(또는 단순히 지수)나는 1{\displaystyle L_{1}}에서부터 L2{\displaystyle L_{2}}은 언어 문자열의 그런 wx w로 구성된 L1{\displaystyle L_{1}}에 L2{\displaystyle L_{2}에 약간의 문자열 x에}은. 경우 1.]F오르말리:

L_{1}/L_{2}=\{w\in \Sigma ^{*}\mid \exists x\in L_{2}\colon \wx\in L_{1}\}}}}}}

즉 L $L_{2}$ ${\$ 2}}에 접미사가 있는 $L_{1}$ $L_{1}$ 1 ${\$ }의 모든 문자열을 취하여 이 접미사를 제거한다.

마찬가지로 $L_{2}$ $L_{2}$ ${\$ 2}}에 $L_{1}$ $대한$ L $L_{1}$ ${\$ }의 왼쪽 몫은 문자열로 구성되는 언어로서 $L_{2}$ , $L_{2}$ 2 $L_{2}$ {\ $displaystyle L_{2$ }}의 일부 문자열 x에 $L_{1}$ 대해 $L_{1}$ 가 $L_{1}$ 1 $L_{1}$ {\ $displaystyle L_{1$ }{1}에 있는 경우 형식 $L_{2}$

L_{2}\백슬래시 L_{1}=\{w\in \Sigma ^{*}\mid \exists x\in L_{2}\colon \xw\in L_{1}\}}}}}}

즉 $L_{2}$ L $L_{2}$ ${\$ }}에 접두사가 $L_{1}$ $L_{1}$ 1 $L_{1}$ {\ $displaystyle L_{1$ }의 모든 문자열을 취하여 이 접두사를 제거한다.

$∖{\displaystyle \백슬래시 }$ 의 $\backslash$ 피연산자는 역순으로, 첫 번째 피연산자는 $L_{2}$ 2 ${\$ }}이고 $L_{2}$ $L_{1}$ $L_{1}$ ${\$ }{1 $}}$ 는 $L_{1}$ 두 번째 피연산자.

예

고려하다

L_{1}=\{a^{n}b^{n^{n}c^{n}\mid n\geq 0\}}

그리고

L_{2}=\{b^{i}c^{j}\mid i,j\geq 0\}

이제 L $L_{1}$ ${\$ }의 요소에 칸막이를 삽입하면 오른쪽에 있는 부분은 b(이 경우 i ≤ n과 j = n)에 인접하거나 c(이 경우 i = 0과 j ≤ n)에 인접한 경우에만 $L_{2}$ $L_{2}$ $L_{2}$ ${\$ }}에 있다 $L_{1}$ 따라서 $L_{1}/L_{2}$ 왼쪽에 있는 부분은 $a^{n}b^{n-i}$ $a^{n}b^{n-i}$ $a^{n}b^{n-i}$ - $a^{n}b^{n-i}$ i ${\$ a $^{n}b^{n-i}$ 또는 $a^{n}b^{n-i}$ $a^{n}b^{n}c^{n-j}$ $a^{n}b^{n}c^{n-j}$ $a^{n}b^{n}c^{n-j}$ c - $a^{n}b^{n}c^{n-j}$ ${\$ $a$ $^{n}b^{n}c^{n-j$ 그리고 $L_{1}/L_{2}$ $L_{1}/L_{2}$ / $L_{1}/L_{2}$ $L_{1}/L_{2}$ ${\$ }}: