Definition:Finite Sequence

From ProofWiki
Jump to navigation Jump to search


A finite sequence is a sequence whose domain is finite.

Length of Sequence

The length of a finite sequence is the number of terms it contains, or equivalently, the cardinality of its domain.

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.

Some treatments, in order to stress the difference between a finite sequence and infinite sequence, present this term as finite-sequence.

Also see

  • Results about finite sequences can be found here.