I have learned about the determination of FIRST and FOLLOW functions in the context of formal language theory and compiler design. FIRST functions identify the first set of terminals that can appear in a derivation of a non-terminal, while FOLLOW functions identify the set of terminals that can appear immediately to the right of a non-terminal.