Orakel
NTM
nondeterministic turing machine (NTM)
NTM und die Klasse NP
NPNPNP = Languages recognized by NTM