Stavčno obliko α izpljemo tako daleč, da imamo na začetku terminal. FIRST(α) je množica teh terminalov za vse možne izpljave. Povedano drugače vsi stavki, ki jih lahko izpeljemo iz stavčne oblike α se začnejo s terminalom, ki je element FIRST(α).
α => ... => a β
α => ... => c 𝛾
FIRST(α) = {a, c}