section_heading: Formalna definicija
paragraph_text: Posljednja definicija slijedi iz prve jednostavnom implikacijom iz činjenice da je bilo koje stablo parsiranja moguće izgraditi primjenom jednog i samo jednog postupka generiranja niza zamjenom krajnje lijevog, odnosno desnog, nezavršnog znaka.