Ｌは際限なく増えてもいいが、Ａの状態の有限性によって「結果として」有限個の要素しか持つ必要が
ないというのじゃ駄目ですか？
リストというのはポインタでつなげて自由に要素数を変えられるあのリスト構造を意識して使った言葉なのですが。