実現しうる状態が有限個しかないなら、それを保持するLの要素数
も有限で良いのでは?