Замечаение:

<aside> 📌 $\alpha$ $-$ содержимое стека, $v$ $-$ необработанная часть цепочки $\alpha \rArr^* v$

</aside>

Определение:

<aside> 📌 $G = (\Sigma, Г, P, S)$ $\alpha \in (Г \cup \Sigma)^$ Тогда $First(\alpha) \sube \Sigma \cup \{\varepsilon\}$ $a \in First(\alpha)$ $\alpha \rArr^ a\beta$ $\varepsilon \in First(\alpha)$ $\alpha \rArr^* \varepsilon$

</aside>

#Пример

$First(a) = \{a\}$

$First(\varepsilon) = \{\varepsilon\}$

$First(C) = \{d, \varepsilon\}$

$First(BC) = \{b\}$

$First(AC) = \{a,c\}$

#Пример

$S \to AC|BC$

$A \to aBC|cB$

$B \to b$

$C \to dC|\varepsilon$

$w = ab$