Finite State and Discrete Time Approximation for Filters