Finite sequence of symbols in theoretical computer science.