Bir dilin CFG'sini (Context-Free Grammar - Bağlamdan Bağımsız Dilbilgisi) oluşturmak, o dildeki tüm olası dizeleri üretmek için kullanılabilecek kurallar kümesi tasarlamak demektir. Başka bir deyişle, dildeki tüm geçerli dizeleri türeten üretim kurallarını yazıyoruz.
Örnek :
L = { a^m b^m c^n | m, n ≥ 1 }
Bu dilde:
İlk önce m adet 'a' karakteri,
Ardından m adet 'b' karakteri,
Son olarak n adet 'c' karakteri yer alır.
Örnekler:
abc (m=1, n=1)
aabbccc (m=2, n=3)
aaabbbcc (m=3, n=2)
