Bağlamdan bağımsız gramerlerin bağlamdan bağımsız dilleri temsil etmek için kullanılabileceğini anlıyorum, belirsizlikleri olabilir. Chomsky ve Greibach normal formu gibi normal formlarımız da var . Bunun ihtiyacını anlayamadım. Dil teorisinde neden önemlidirler? Bahsettiğim tüm ders kitapları bu normal formları anlattı ama önemleri hakkında hiçbir şey söylemedi.
Konuya ilişkin olarak CNF'den DNF dönüşüm NP Sert olduğunu gösteren (ve ilgili bir matematik iplik ): DNF'den CNF'ye diğer yöne ne dersiniz? Kolay mı, zor mu? Bu makalenin 2. sayfasında, " CNF temsilinden DNF temsiline (ya da tam tersi) geçiş yaparken maksimum boyut patlamasıyla ilgileniyoruz " derken her iki yönün …