„Digit1Beugró” változatai közötti eltérés
| 367. sor: | 367. sor: | ||
: <math>q_i \equiv q_j</math>, ha bármely lehetséges bemenetre érvényes, hogy a kimenet azonos | : <math>q_i \equiv q_j</math>, ha bármely lehetséges bemenetre érvényes, hogy a kimenet azonos | ||
: <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) | |||
;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> | ||