A start symbol is a special nonterminal symbol that appears in the initial string generated by the grammar.