Apstraktna vrsta podataka: razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
'''Apstraktna vrsta podataka''', '''apstraktni tip podataka''', eng. abstract data type ('''ADT'''), u [[računalstvo|računalstvu]] predstavlja [[matematički model]] za [[Tip podatka (računarstvo)|vrstu podataka]], gdje vrstu određuje njeno ponašanje ([[Formalna semantika programskih jezika|semantika]]) s točke gledišta ''korisnika'' podataka, posebice u smislu mogućih vrijednosti, mogućih operacija na podatcima te vrste i ponašanju tih operacija. Ovo je u suprotnosti s [[podatkovna struktura|podatkovnim strukturama]], koje su konkretni prikazi podataka, i one su s točke gledišta primijenitelja, a ne korisnika. Apstraktnu vrstu podataka formalno može se definirati kao "klasu [[Objekt (računarstvo)|objekata]] čije logičko ponašanje određuje skup vrijednosti i skup operacija";<ref>(eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. {{ISBN|978-0-66940000-7}}, str. 3</ref> ovo je analogno [[algebarska struktura|algebarskoj strukturi]] u matematici. | |||
Što se misli pod "ponašanjem", varira ovisno o autoru, s dvije glavne vrste formalne specifikacije za ponašanje: ''aksiomska (algebarska) specifikacija'' i ''apstraktni model;''<ref>(eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. {{ISBN|978-0-66940000-7}}, str. 4</ref> ovo korespondira [[aksiomatska semantika|aksiomatskoj semantici]] i [[operacijska semantika|operacijskoj semantici]] [[apstraktni stroj|apstraktnog stroja]], respektivno. | Što se misli pod "ponašanjem", varira ovisno o autoru, s dvije glavne vrste formalne specifikacije za ponašanje: ''aksiomska (algebarska) specifikacija'' i ''apstraktni model;''<ref>(eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. {{ISBN|978-0-66940000-7}}, str. 4</ref> ovo korespondira [[aksiomatska semantika|aksiomatskoj semantici]] i [[operacijska semantika|operacijskoj semantici]] [[apstraktni stroj|apstraktnog stroja]], respektivno. | ||
Posljednja izmjena od 1. svibanj 2022. u 16:33
Apstraktna vrsta podataka, apstraktni tip podataka, eng. abstract data type (ADT), u računalstvu predstavlja matematički model za vrstu podataka, gdje vrstu određuje njeno ponašanje (semantika) s točke gledišta korisnika podataka, posebice u smislu mogućih vrijednosti, mogućih operacija na podatcima te vrste i ponašanju tih operacija. Ovo je u suprotnosti s podatkovnim strukturama, koje su konkretni prikazi podataka, i one su s točke gledišta primijenitelja, a ne korisnika. Apstraktnu vrstu podataka formalno može se definirati kao "klasu objekata čije logičko ponašanje određuje skup vrijednosti i skup operacija";[1] ovo je analogno algebarskoj strukturi u matematici.
Što se misli pod "ponašanjem", varira ovisno o autoru, s dvije glavne vrste formalne specifikacije za ponašanje: aksiomska (algebarska) specifikacija i apstraktni model;[2] ovo korespondira aksiomatskoj semantici i operacijskoj semantici apstraktnog stroja, respektivno.
Izvori[uredi]
- ↑ (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7 nevaljani ISBN, str. 3
- ↑ (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7 nevaljani ISBN, str. 4