Rilate al la suba trairejo kaj poste respondu la demandon poste en la sama lingvo kiel la trairejo: Trairejo: Do la analizilo ankaŭ devus uzi la regulon A → w se ε estas en Fi ((w) kaj ĝi vidas sur la enirfluo simbolon kiu povus sekvi A. Tial, ni ankaŭ bezonas la Sekvan aron de A, skribitan kiel Fo ((A) ĉi tie, kiu estas difinita kiel la aro de terminaloj a tia ke ekzistas ŝnuro de simboloj αAaβ kiu povas esti derivita de la komenca simbolo. Ni uzas $ kiel speciala terminalo indikanta finon de enirfluo kaj S kiel komenca simbolo. Demando: Por kio $ estas uzata?
kiel speciala finaĵo indikanta la finon de enirfluo