„Digit1Beugró” változatai közötti eltérés
| 370. sor: | 370. sor: | ||
: <math>g(q_i,x_k) = g(q_i,x_k)</math> | : <math>g(q_i,x_k) = g(q_i,x_k)</math> | ||
Ez megint pontatlan így. (wachag) | Ez megint pontatlan így. (wachag) | ||
Egyfelől, mi az a g? Írjátok már oda a kisZH-ba, mert akármivel jelölhetsz akármit... | |||
Másfelől meg mit jelent a képlet? Meg mik ezek az indexek? Amik ráadásul hibásak... | |||
;507 Írja fel az állapotkompatibilitás rekurzív definicióját! | ;507 Írja fel az állapotkompatibilitás rekurzív definicióját! | ||
: <math>q_i \sim q_j</math>, ha bármely érvényes bemenetre a specifikált helyeken, hogy <math>g(q_i,x_k) = g(q_i,x_k)</math> és <math>f(q_i,x_k) \sim f(q_i,x_k)</math> | : <math>q_i \sim q_j</math>, ha bármely érvényes bemenetre a specifikált helyeken, hogy <math>g(q_i,x_k) = g(q_i,x_k)</math> és <math>f(q_i,x_k) \sim f(q_i,x_k)</math> | ||
Megint: mi az a g és mi az az f? Miért ne írhatná valaki ezt: | |||
: <math>q_i \sim q_j</math>, ha bármely érvényes bemenetre a specifikált helyeken, hogy <math>triceratops(q_i,x_k) = triceratops(q_i,x_k)</math> és <math>velociraptor(q_i,x_k) \sim velociraptor(q_i,x_k)</math> | |||
Ennek is van értelme, de ugyanúgy nem derül ki belőle semmi. (wachag) | |||
;508 Mi jellemzi a maximális ekvivalencia osztályozást? | ;508 Mi jellemzi a maximális ekvivalencia osztályozást? | ||
: Az egyes osztályok nem bővíthetőek új állapottal. Minden állapot benne van 1 osztályban, és ezek páronként ekvivalensek. | : Az egyes osztályok nem bővíthetőek új állapottal. Minden állapot benne van 1 osztályban, és ezek páronként ekvivalensek. | ||