Otazka ku skuske:
A->[B|c]{d|E}F
Otazka: moze to byt takto ?
no ja by som to skor dal takto:
void A (symbolset K){
check(HB u {'c'} u {'d'} u HE u HF)
if(sym in {HB u {'c'}}) {
switch (sym)
in HB: B({'d'} u HE u HF u K)
'c': getSymbol()
}
check({'d'} u HE u HF u K)
while (sym in {{'d'} u HE}) {
switch(sym)
'd': getSymbol()
in HE: E({'d'} u HE u HF u K)
check({'d'} u HE u HF u K)
}
check(HF u K)
F(K)
}
pricom rozmyslam, ci ten prvy a posledny check co tam mam su uplne nutne, ale tak pre istotu to nie je zle aj ked tam su
nasledne to co dala Ema z prednasky:
A->B{dE}(c|F) ja by som to napisal takto:
void A (Symbolset K) {
B({'d'} u HE u {'c'} u HF u K)
check({'d'} u HE u {'c'} u HF u K)
while (sym in {'d'}) {
getSymbol()
E({'d'} u HE u {'c'} u HF u K)
check({'d'} u HE u {'c'} u HF u K)
}
check({'c'} u HF u K)
switch (sym)
'c': getSymbol()
in HF: F(K)
default: Error({'c'} u HF u K)
// prv som tu mal Error(K) v podstate to podla mna aj teraz nic nemeni, jediny rozdiel je podla mna ak error zaroven robi aj vypisy pre pouzivatela}
ale ako vravim je to moj pohlad na danu vec a este sam si niektore veci snazim ujasnit ale zatia by som to dal takto
