Generating Grammar
 

Trong cuốn sách toán rời rạc Discrete Mathematics and It's Application 6e có bài example 7, chapter 12.1 như sau:
The language ${0^n1^n2^n: n\ge 0}$ is generated by the Grammar $G={V,T,S,P}$.
$V={S,A,B,0,1,2}, T={0,1,2}$
$P={S\rightarrow 0SAB, S\rightarrow \lambda,BA\rightarrow AB,0A\rightarrow 01, 1A\rightarrow 11, 1B\rightarrow 12, 2B\rightarrow 22}$
Có thể kiểm tra được grammar này sinh ra language có chứa tập ban đầu nhưng mình chưa chứng minh được grammar này sinh ra language đúng bằng tập ban đầu.
Ai giúp mình với.