>>29
N は命題の「高々 N 個の状態しか取り得ない」に対するもの。
データ状態はMAX個だけど、それはプログラム上は保持する必要がないからな。