Výpočet: Príklady z algoritmických špecifikácií
Skryť detaily | Obľúbený- Kvalita:87,7 %
- Typ:Výpočet
- Univerzita:Technická univerzita v Košiciach
- Fakulta:Fakulta elektrotechniky a informatiky
- Kategória:Technika
- Podkategória:Informatika
- Predmet:Programovacie techniky
- Ročník:2. ročník
- Rozsah A4:14 strán
- Zobrazené:2 501 x
- Stiahnuté:23 x
- Veľkosť:0,1 MB
- Formát a prípona:MS Office Word (.doc)
- Jazyk:slovenský
- ID projektu:1273
- Posledna úprava:13.07.2015
Príklady z algoritmických špecifikácií z predmetu Programovacie techniky
Príklad 1:
Napíšte algebraickú špecifikáciu ADT (abstraktného dátového typu) reťazec (string).
Riešenie:
sorts: abeceda
reťazec
opns: a, b, . . . , z :
abeceda PRÁZDNY: reťazec
VYTVOR : abeceda reťazec
SPOJ : reťazec reťazec reťazec
PRIDAJ_Ľ : abeceda reťazec reťazec
PRIDAJ_P : reťazec abeceda reťazec
Príklad 1:
Napíšte algebraickú špecifikáciu ADT (abstraktného dátového typu) reťazec (string).
Riešenie:
sorts: abeceda
reťazec
opns: a, b, . . . , z :
abeceda PRÁZDNY: reťazec
VYTVOR : abeceda reťazec
SPOJ : reťazec reťazec reťazec
PRIDAJ_Ľ : abeceda reťazec reťazec
PRIDAJ_P : reťazec abeceda reťazec