Poznámky
Osnova
Kapitola IV.
Syntaktická analýza: Modely
Bezkontextová gramatika (BKG)
Bezkontextová gramatika: Definice
Konvence
Derivační krok u BKG
Sekvence derivačních kroků 1/2
Sekvence derivačních kroků 2/2
Generovaný jazyk
Bezkontextový jazyk (BKJ)
Pravidlový strom
Derivační strom: Příklad
Nejlevější derivace
Nejlevější derivace: Příklad
Nejpravější derivace
Nejpravější derivace: Příklad
Derivace: Shrnutí
Redukce počtu možných derivací
Úvod do nejednoznačnosti
Gramatická nejednoznačnost
Zásobníkové automaty (ZA)
Zásobníkové automaty: Definice
Poznámky k pravidlům
Grafická reprezentace
Grafická reprezentace: Příklad
Konfigurace u ZA
Přechod u ZA
Sekvence přechodů 1/2
Sekvence přechodů 2/2
Přijímaný jazyk: Tři typy
ZA: Příklad
Tři typy přijímaných jazyků: Ekvivalence
Deterministický ZA (DZA)
ZA jsou silnější než DZA
Rozšířený ZA (RZA)
Přechod u RZA
RZA: Příklad
Tři typy přijímaných jazyků: Ekvivalence
RZA a ZA jsou ekvivalntní
RZA a ZA jako modely pro synt. analýzu
RZA: Modely pro SA zdola nahoru 1/2
RZA: Modely pro SA zdola nahoru 2/2
Algoritmus: Z BKG na RZA
Z BKG na RZA: Příklad 1/2
Z BKG na RZA: Příklad 2/2
ZA: Modely pro SA shora dolů 1/2
ZA: Modely pro SA shora dolů 2/2
Algoritmus: Z BKG na ZA
Z BKG na ZA: Příklad 1/2
Z BKG na ZA: Příklad 2/2
Modely pro bezkontextové jazyky