1Matematickym modelom rozpoznavaca cfl je:zasobnikovy automat
2Dany obrazok predstavuje:rozsireny zasobinkovy automat obrazok: zasobnik
3RZA je modelom syntaktickeho analyzatora pracujuceho metodou:
zdola-nahor
4Jazykove vlast. systemov charakterizuje:
syntax jazykov
deterministickost jazykov
semantika jazykov
?metoda rozpoznavania jazykov
?preklad a interpretacia jazykov
5Vo vstupnom subore pre YACC sa nachadza:Specifikacia syntaxe a cinnosti pri rozpoznavani jednotlivych konstrukcii
Specifikacia syntaxe a semantiky vo forme abstraktneho syntaktickeho stromu
Specifikacia vo forme cfg
6V strede KONECNOSTAVOVA RIADIACA JEDNOTKAObrazok predstavuje:konecny prekladovy automat
syntakticky analyzator
ZA
7V YACC pravidle NET0:NET1 term1 Net2 term2 sa $1 odkazuje na hodnotu
Net1
8Typ prenasanej hodnoty sa pre terminaly symbol SYMBOL definuje:
%union{
TYP1 SYMBOL;
}
% token <meno> SYMBOL
%{
extern TYP1 SYMBOL;
%}
9Semantika jazykov urcuje
priradenie vyznamov jednotlivym lexikalnym jednotkam, syntaktickym kategoriam a vetam jazyka