Noun
non-terminal symbol (plural non-terminal symbols) (computing theory) A symbol in a formal grammar that cannot appear in sentences of the grammar but may eventually be resolved into a sequence of terminal symbols.