Effective Nullstellensatz for strictly regular sequences