show that any second-order markov process can be rewritten as a first-order markov process with an augmented set of state variables. can this always be done parsimoniously, i.e., without increasing the number of parameters needed to specify the transition model?