section_heading: Odbacivanje mrtvih znakova
paragraph_text: Algoritam traženja živih znakova zasniva se na sljedećem svojstvu: Ako su živi svi znakovi <math>X_1 ,X_2 ,...,X_n</math> desne strane produkcije onda je živ i nezavršni znak A lijeve strane produkcije.