a származtatás

(derivation) mindkét oldalán szerepelhet

nem lehet benne

nem-terminális

csak unió, konkatenáció,

és Kleene lezárt operátorokat tartalmazhat

egy adott szó vezethető

le belőle