paragraph_text: Uočite da zbog univerzalne kvantifikacije je slijed prijelaza predstavljen stablom izvođenja (engl. run tree). A prihvaća riječ w ako postoji stablo nad w takvo da svaki put stabla završava u prihvatljivom stanju.