rules successively to a start symbol might not terminate, but if it terminates when there is no more production rule can be applied, the output string will consist only of terminal symbols.

For example, consider a grammar defined by two rules. In this grammar, the symbol ? is a terminal symbol and ? is both a nonterminal symbol and the start symbol. The production rules for creating strings are as follows:

# The symbol ? can become ??

1.Previous
3.Next