Nonterminal symbols are those symbols which can be replaced.
非終結符是可以被取代的符號。