section_heading: Uvod
paragraph_text: gdje je <simbol> nezavršni simbol, a izraz se sastoji od slijedova simbola i/ili slijedova odvojenih uspravnom crtom., '|', označujući mogućnost izbora, pri čemu je svaka jedinka izbora moguća zamjena za krajnje lijevi simbol produkcije. Simboli koji se nikad ne pojavljuju na lijevoj strani produkcije se zovu završni simboli.