Bagaimana saya dapat membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard? Saya tidak meminta jawaban, hanya beberapa saran tentang bagaimana cara
Urutan yang berlaku: Selalu sepenuhnya mengevaluasi argumen dari suatu fungsi sebelum mengevaluasi fungsi itu sendiri, seperti - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow...
Saya mengerti bahwa tata bahasa bebas konteks dapat digunakan untuk mewakili bahasa bebas konteks. Mungkin ada ambiguitas. Kami juga memiliki bentuk normal seperti bentuk normal Chomsky dan Greibach . Saya tidak bisa mengerti kebutuhan itu. Mengapa mereka penting dalam teori bahasa? Semua buku...
Sehubungan dengan utas Membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard (dan utas Matematika terkait ): Bagaimana dengan arah lain, dari DNF ke CNF? Apakah itu mudah atau sulit? Pada halaman 2 makalah ini , mereka tampaknya mengisyaratkan bahwa kedua arah sama-sama sulit ketika mereka...