有限加法族とσ加法族って何が違うんですか？
定義読んでも違いが分かりません。