cari istilah yang lo mau, kaya' swag:

Nonattendatarian ke non-deterministic turing machine