Definition:Finite Sequence

Definition
A finite sequence is a sequence whose domain is finite.

Also known as
Some sources use the term word in place of finite sequence.

Compare the definition of word in the context of formal systems.