A proof that a grammar G generates

A proof that a grammar G generates a language L has two parts: show that every string generated by G is in L, and conversely that every string in L can indeed be generated by G

Kết quả (Việt) 1:

Chứng minh rằng một ngữ pháp G tạo ra một ngôn ngữ L có hai phần: Hiển thị mỗi chuỗi được tạo ra bởi G là L, và ngược lại mỗi chuỗi trong L thực sự có thể được tạo ra bởi G

Kết quả (Việt) 2:

Một bằng chứng cho thấy một văn phạm G tạo ra một ngôn ngữ L có hai phần: cho thấy rằng mỗi chuỗi được tạo ra bởi G là L, và ngược lại rằng mỗi chuỗi trong L thực sự có thể được tạo ra bởi G