Turing machine
NEXPTIMEは、非決定性チューリングマシンを使って指数時間で解ける問題のクラスであり、より formula_23 が言える。また、EXPSPACEは、決定性チューリングマシンの指数サイズの領域を使って解ける問題のクラスであり、より formula_24 が言える。