S -> MDM
D -> KLDEL | T
EL -> LaE
Ea -> aE
EM -> M
LK -> KaL
aK -> Ka
MK -> M
aL -> La
La -> aL
LTL -> aTa
T -> a
M -> epsilon