A217516 - OEIS

A217516

Base-n state complexity of partitioned deterministic finite automaton (PDFA) for the periodic sequence (1234)*.

7, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9, 8, 5, 4, 9

(list; graph; refs; listen; history; text; internal format)

OFFSET

2,1

LINKS

Table of n, a(n) for n=2..94.

Klaus Sutner and Sam Tetruashvili, Inferring automatic sequences.

FORMULA

Ultimately periodic with period length 4.

G.f.: x^2*(7 + 8*x + 5*x^2 + 4*x^3 + 2*x^4)/(1 - x^4). - Vincenzo Librandi, Nov 19 2012

MATHEMATICA

Join[{7}, CoefficientList[Series[(8 + 5*x + 4*x^2 + 9x^3)/((1 - x^4)), {x, 0, 30}], x]] (* Vincenzo Librandi, Nov 18 2012 *)

PROG