An analytical solution for the discrete time single server system with semi-Markovian arrivals · Study