Ðề tài: Generating Grammar
Xem bài viết đơn
Old 11-07-2013, 02:10 PM   #1
HuongNhat
+Thành Viên+
 
HuongNhat's Avatar
 
Tham gia ngày: Jul 2010
Bài gởi: 77
Thanks: 49
Thanked 20 Times in 16 Posts
Gửi tin nhắn qua Yahoo chát tới HuongNhat
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.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
Làm người có thể xa xỉ nhưng không nên lãng phí !
HuongNhat is offline   Trả Lời Với Trích Dẫn
 
[page compression: 7.83 k/8.94 k (12.48%)]