In formal language theory and computer science, a terminal symbol is a basic, indivisible unit of a language's alphabet that appears in the strings generated by a grammar. Unlike non-terminal symbols, which are used to define the language's syntax and can be replaced, terminal symbols are the actual characters or tokens that appear in the final output of a language's derivation process.