Construct a pushdown automaton for the following language:

L = {a ⁱ b ^j | i < j or i 2j}

Construct a context-free grammar for the following language.

L = {0 ⁱ1 ^j0 ^k1^l | i < j and k < l}