A new proof of finitary isomorphism for Markov chains

We give a new proof of a result of Rudolph stating that a countable-state mixing Markov chain with exponential return times is finitarily isomorphic to an IID process. Besides being short and direct, our proof has the added benefit of working for processes of finite or infinite entropy.