A state-dependent income tax is incorporated into a stochastic, discrete-time, infinite-horizon production economy. Methods are developed for establishing the existence and uniqueness of an equilibrium, and for computing this equilibrium.