M系列
M系列となるための必要十分条件は、線形漸化式が原始多項式であることである。