Registrácia
|
Prihlásiť
Univerzity
Kategórie
Rozšírené vyhľadávanie
Technická univerzita v Košiciach
Fakulta elektrotechniky a informatiky
Výpočet: Príklady z algoritmických špecifikácií
Zobraziť detaily
|
Obľúbený
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
Kľúčové slová:
programovacie techniky
algoritmus
binárny strom
inorder
preorder
algebraická špecifikácia
Hodnotenie (0x):