I'm studying Context free Grammar and I have a question to a specific Exercise:
Why is i. True? How is this possible?
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.
Sign up to join this communityI'm studying Context free Grammar and I have a question to a specific Exercise:
Why is i. True? How is this possible?
For every nonterminal $A$ it always holds that $A \Rightarrow^* A$. This is because $\Rightarrow^*$ is the reflexive transitive closure of $\Rightarrow$. In words, $A \Rightarrow^* \alpha$ is $\alpha$ can be obtained from $A$ by applying zero or more productions.
The similar notation $\Rightarrow^+$ is the transitive closure of $\Rightarrow$, and corresponds to one or more productions. In your grammar, it isn't the case that $T \Rightarrow^+ T$.