Definition:Finite Sequence

From ProofWiki
Jump to: navigation, search

Definition

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.


Sequence of $n$ Terms

A sequence of $n$ terms is a (finite) sequence whose length is $n$.


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


Sources