word
finite sequence of symbols in theoretical computer science
keyword
word with a special meaning in a programming language
terminal and nonterminal symbols
categories of symbols in formal grammars
logical formula
boolean algebra
Hall word
construction providing a total order on a free monoid