Discrete Time Queues with Markovian Arrival Streamsand State-Dependent Service Times(Fundamental Theories)