p-adic valuations and k-regular sequences

A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by Allouche and Shallit as a generalization of automatic sequences. Given a prime p and a polynomial f(x)∈Q_p[x], we consider the sequence , where v_p is the p-adic valuation. We show that this sequence is p-regular if and only if f(x) factors into a product of polynomials, one of which has no roots in Z_p, the other which factors into linear polynomials over Q. This answers a question of Allouche and Shallit.