... Ng Duc ThuanLý Thuyết Ngôn Ngữ Hình Thức & Ôtômat 45 Nguyễn Đức Thuần 3.4.2 Bài toán thành viên 3.4.2.1 Định lý: Tồn tại giải thuật để xác ... nhiều nhất là n2 lần (do i,j Ên). Ng Duc ThuanLý Thuyết Ngôn Ngữ Hình Thức & Ôtômat 30 Nguyễn Đức Thuần <biểu thức> <biểu thúc> * <biểu thức> ( <biểu ... {+,-,*,0,1,2,3,4,5,6,7,8,9,z},{A,B,C,D,E,F,G}, S,P> Ng Duc ThuanLý Thuyết Ngôn Ngữ Hình Thức & Ôtômat 31 Nguyễn Đức Thuần P : S đ Bẵ BzD B đ CE C đ +ẵ-ẵe D đ CF E đ F*ẵF*Fẵ*F F đ GẵFG ...