Text this: Finite Approximations in Discrete-Time Stochastic Control