Draw a DTM for

L= { aⁱ b^k | i <= k}