cari istilah yang lo mau, kaya' hipster:

non-deterministic turing machine ke non-finisher