Apstraktna vrsta podataka: razlika između inačica

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

↑ (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7, str. 3
↑ (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7, str. 4

[1] (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7, str. 3

[2] (eng.) Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7, str. 4

[1]

[2]

Inačica od 1. studeni 2021. u 12:07 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 528.032 edits Bot: Automatski unos stranica		Posljednja izmjena od 1. svibanj 2022. u 16:33 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 528.032 edits m bnz
Redak 1:		Redak 1:
	~~<!--'''Apstraktna vrsta podataka'''-->~~'''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.		'''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.