sentential form:
math: S \Longrightarrow^* \alpha \,\,and\,\, \alpha \in (V\cup U)^*
left-sentential form:
math: S \Longrightarrow_{lm}^* \alpha
right-sentential form:
math: S \Longrightarrow_{rm}^* \alpha
L(G) element is same with sentential form which are in T*