>>27
そもそもNというのはなんですか?
Nは状態数として23が示したプログラムの状態はデータの状態だけでも
MAX個あるからN << MAXはありえないんじゃない?