The first set of a sequence of symbols α , written as First( α) , is the set of terminals which start all the sequences of symbols derivable from α . A bit more formally, consider all strings derivable from α by a leftmost derivation. If α ⇒* β , where β begins with some terminal, that terminal is in First( α ). If α ⇒* e , then e is in First( α) .