Approximation theory for semi-groups of linear operators and its application to approximation of wave equations