# Definition:String/Finite

(Redirected from Definition:Finite String)

## Definition

Let $\AA$ be an alphabet of symbols.

A string $S$ in $\AA$ is a finite string if and only if the sequence of symbols of which it is composed is finite.

## Also known as

A finite string, in the strict context of formal systems, is usually referred to as a word.