Анализа навише — разлика између измена

У [[Рачунарство|рачунарству]], анализа навише се примењује у изградњи [[компајлер]]а. Овај метод се заснива на идентификацији [[терминални симболи|терминалних симбола]] који затим учествују у стварању [[нетерминални симболи|нетерминалних симбола]]. Резултати анализе се користе у изградњи [[дрво анализе|дрвета анализе]] програма написаног на [[изворни језик|изворном језику]].

У пракси се често користе анализатори навише ({{Јез-ен|bottom-up parsers}}) опште примене, који могу да анализирају дати језик или могу да генеришу анализатор за [[програмски језик|програмски језик]] који је задат својом [[граматика|граматиком]]. Најпознатији алати који генеришу анализаторе за програмске језике су ''-{[[YACC]]}-'' и ''-{[[GNU bison]]}-''.

S → Ax<br />

A → a<br />

A → b<br />

* [[ЛР анализатор]]

** [[СЛР (1)]], ({{Јез-ен|Simple LR}}) - Користи један предувидни симбол

** [[ЛАЛР (1)]], ({{Јез-ен|Lookahead}}) – Једноставнија од ЛР (1), погодна је за имплементацију. ''-{[[YACC]]}-'' имплементира овај језик

** [[ЛР (1)]] – општији језик од претходних, сложен је за имплементацију

** [[ЛР (n)]], n је позитиван цео број - Могу се изградити језици који захтевају n предувидних симбола, уобичајено је да овакви језици захтевају велики број линија кода и простора за податке, па се из тих разлога у пракси ретко користе.

* Пребацивање ({{јез-ен|shift}}) - токен се поставља на стек

* Свођење ({{јез-ен|reduce}}) - ручка се уклања са стека, и замењује одговарајућим нетерминалом

* Прихватење ({{јез-ен|accept}}) – реченица је прихваћена, улазна линија је празна а на стеку се налази јединствени симбол

* Грешка ({{јез-ен|error}}) - до грешке долази уколико ништа од претходног није могуће урадити, односно улазна ниска тада није реченица језика

# Почетна [[реченична форма]] је реченица која се анализира

# Док се не појави реченична форма која је састоји само од почетног симбола понављају се следећи кораци

## Улаз се скенира док се не препозна [[ручка]]

## Десна страна правила се замењује одговарајућом левом страном

* На почетку је стек празан

* ''-{Shift}-'' акција одговара пребацивању улазних симбола на стек

* ''-{Reduce}-'' акција се примењује када се на врху стека налази [[ручка]]. Тада се ручка скида са стека, а на стек се поставља нетерминал који одговара левој стани правила

(Фактор * ) ( [ 1 + 3 ] ) -{shift}-

(Фактор * [ Терм ) ( + 3 ] ) -{reduce}-

(Фактор * [ Терм + ) ( 3 ] ) -{shift}-

(Фактор * [ Израз ] ) ( ) -{shift}-

(Фактор * Фактор ) ( ) -{reduce}-

(Фактор * Терм ) ( ) -{reduce}-

(Терм ) ( ) -{reduce}-

(Израз ) ( ) -{reduce}-

(Израз ) ( ) успех