„Szoftvertechnológia - Videójegyzet” változatai közötti eltérés
axiómák pre tagben |
axiómák pre tagben |
||
| 1 019. sor: | 1 019. sor: | ||
Egy karakter, és az 1 karakterből álló string nem ugyanaz!!! | Egy karakter, és az 1 karakterből álló string nem ugyanaz!!! | ||
LAST(CRT()) = undefined | LAST(CRT()) = undefined | ||
LAST(ADD(s,x)) = x | LAST(ADD(s,x)) = x | ||
END(CRT(),CRT()) = true | END(CRT(),CRT()) = true | ||
END(ADD(s,x),CRT()) = true | END(ADD(s,x),CRT()) = true | ||
(üres sztring áll minden string végén) | // (üres sztring áll minden string végén) | ||
END(s, CRT()) = true // helyettesíti a fenti kettőt! | |||
END(CRT(),ADD(s,x)) = false | END(CRT(),ADD(s,x)) = false | ||
END(ADD(s1,x), ADD(s2,y)) = (x==y) && end(s1,s2) | END(ADD(s1,x), ADD(s2,y)) = (x==y) && end(s1,s2) | ||
DUPLO(CRT()) = false | DUPLO(CRT()) = false | ||
DUPLO(ADD(s,x)) = igaz, | DUPLO(ADD(s,x)) = igaz, DUPLO(s), vagy ha az utolsó karakter = x, az utolsó hozzáadottal egyezik | ||
===== Petri háló, Elérhetőségi gráf: markerezés. 34p körül. ===== | ===== Petri háló, Elérhetőségi gráf: markerezés. 34p körül. ===== | ||
1100 → 0110 vagy 1001 → … → 0020 → 0011 → 0020 → 0011… | 1100 → 0110 vagy 1001 → … → 0020 → 0011 → 0020 → 0011… | ||