The following formal definition is loosely based on (Peterson 1981).
Sıradaki resmi tanım, (Peterson 1981)'in tanımıdır.