Ein Nichtterminalsymbol (auch Nichtterminal oder Variable genannt) einer formalen Grammatik ist ein Symbol, das bei der Ableitung von Wörtern der durch die Grammatik beschriebenen formalen Sprache durch Anwendung von Produktionsregeln ersetzt wird, aber im Gegensatz zu einem Terminalsymbol nicht als Symbol in den Wörtern der erzeugten formalen Sprache vorkommt. Dabei wird bei der Erzeugung der formalen Sprache von einem nichtterminalen Startsymbol ausgegangen. Nichtterminale werden meist als Großbuchstaben geschrieben oder in spitze Klammern eingeschlossen.