@Silicium, Не модель машины. Модель состояния машины. Это экспоненциальная сложность от сложности самой машины. Ну, если в машине, скажем 8 бит, то возможных состояний машины уже 2^8.