Noun
terminal symbol (plural terminal symbols) (computing theory) A symbol in a formal grammar that can appear in sentences of the grammar.