Messages

tusi niekto nieco? ehm

[moze my niekto please vysvetlit ake mnoziny budem posielat do tych dalsich funkcii?]

moze my niekto please vysvetlit ake mnoziny budem posielat do tych dalsich funkcii?

napriklad pre
a->b{"+" b}
b->c["-" b]
c->d["*" d]
d->value | "(" a ")"

okej cize napr pre b

int b(K){
 leftOp = c(??);
 if(blabla){
   ...
   rightOp = b(??);
 }
}
proste ako z gramatiky z fleku urcim co tam mam posielat? thx
najskor asi mierene na miselku kedze pan V. to "zabudol" vysvetlit

no nemam dobreho slova k dneskajsku

okey, kedy vlastne chybu to ma hlasit?

true && //chyba lava zatvorka alebo hodnota
true && ( //chyba hodnota
true && ( true //chyba prava zatvorka
true && ( true && //chyba hodnota
true && ( true && true //chyba prava  zatvorka

este nieco ?

nechapem..help?

okej som mimo, podla coho a kde davam ake parametre pre check a error ? 

tusim SEOF, ale mozem sa mylit

preco do toho a-ckoveho riadku nedas do rezolventy c ?

okej k tej rezolucnej napr.
   {a V b; -b V c}
b      1        0     a V c          // teraz este mozem vybrat a alebo c? ok vyberiem a
a                         1    c
c                               1  F

cize henta mnozina je nesplnitelna ? ale ked si to spravim napr cez normalnu tabulku tak mi vyjde daco ine, ci to je uplne ina vec?
a b c  a V b  -b V c
1 1 1    1          1
1 1 0    1          0
1 0 1    1          1
0 1 1    1          1
1 0 0    1          1
0 1 0    1          0
0 0 1    0
0 0 0    0

cize existuje riadok ktory ma same jednotky, cize podla tohto by mala byt splnitelna ne?

tie su v pohode, to len si musis pozriet ze ten pas kde je x napriklad, tak tam je x jedna, inde je x nula, a tak pre ostatne premenne vies zapisat tu velku tabulku, resp z karnafovej vypisat min knt a dnt

tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnost

a formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula

//no a olem, zisti mi tu moju otazku 

k tej rezolucnej metode by mi nevedel niekto plz nieco povedat?   , hlavne ten koniec, a zaver z toho vyplyvajuci, thx



napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??

ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F  čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0

ok diky a tento druhy pripad?

ake foto? 

k tej rezolucnej metode by mi nevedel niekto plz nieco povedat?   , hlavne ten koniec, a zaver z toho vyplyvajuci, thx



napr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??

vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...)  vo VL a PL a okrem binarnych relacii

aj u drazenskej? neviete niekto?

kitty approves ! 

popic, thx

dobre

ROBIM ZADANIA z FJaP, USA

cena: 7 eur

mail: [email protected]

zadania z usa su na nete, a ja fjap robim za 5!

pripajam sa 

omg btw, terminalne su napr + - ( ) value a neterminalne su expr, term, add ci naopak?

uz som sa zlakol ze to nejako blbo robim, a ono to inty delim, fijuuu 

priorita sa robi tak ze "cim nizsie" je funkcia, tym ma vyssiu prioritu, a asociativita sa robi takto
lava: V -> P {"+" P}
prava: V -> P ["+" V]
bez:  V -> P["+" P]

napr pre operator "+"

skus si napisat gramatiku, lebo ako mas to dobre pre tu gramatiku co tam mas napisanu, ale to neni gramatika zodpovedajuca tvojmu zadaniu, chapes

Moje zadanie


* - Do lava -priorita 2   
/ - Do prava - priorita 1

Mozem poprosit o kontrolu ci je to takto spravne. Dakujem

Code [Select] Expand

// Interpretator vyrazov s gramatikou
// Expr -> Term { ( <*> | </> ) Term }
// Term -> <Value> | <(> Expr <)>
//
// Pozn: Terminalne symboly su v zatvorkach < >

int expr();



int term()
{ int value;
switch (symbol)
{
case LPAR : getsymbol(); value = expr(); getsymbol(); break;
case VALUE: value = attr; getsymbol(); break;
}
return value;
}

int expr()
{ int leftOp, rightOp; SymType sy;
leftOp = term();
while ((E symbol) & (E DELENIE | E NASOBENIE))
{
sy = symbol; getsymbol(); rightOp = term();
switch (sy)
{
case DELENIE :  leftOp = leftOp / rightOp ; break;
case NASOBENIE:  leftOp = rightOp * leftOp ; break;
}
}
return leftOp;
}

asociativity som nekukal, ale uz len z toho ze mas rozdielne priority nemozes mat obe operatory v jednej funkcii,