已知数列{a}的前n项和为S_n，且S_n=n²+3n+2，n∈N^×

（I）求{a_n}的通项公式；

（II）2b_n=b_n-1+a_n（n≥2，n∈N^×）确定的数列{b_n}能否为等差数列？若能，求b₁的值；若不能，说明理由．

图灵机模型是将控制处理的规则和待处理的信息以及结果都用二进制的0和1表达。