The following formal definition is loosely based on (Peterson 1981).
ההגדרה להלן מבוססת באופן רופף על (פיטרסון 1981).