Finite-State Decomposition into Transient States and Closed Communicating Classes