EDIT di 2011/02/08: Setelah beberapa referensi menemukan dan membaca, saya memutuskan untuk memisahkan pertanyaan asli menjadi dua yang terpisah. Inilah bagian tentang UP vs NP, untuk bagian kelas sintaksis dan semantik silakan lihat Manfaat untuk kelas sintaksis dan semantik . U PUP\mathsf{UP}...