section_heading: Odbacivanje nedohvatljivih znakova
paragraph_text: Algoritam traženja dohvatljivih znakova zasniva se na sljedećem svojstvu:<br> Ako je dohvatljiv nezavršni znak A lijeve strane produkcije: tada su dohvatljivi svi završni i nezavršni znakovi u nizovima <math>\alpha _1</math>, <math>\alpha _2</math> ... i <math>\alpha _n</math> desne strane produkcije.