This HTML5 document contains 249 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-da	http://da.dbpedia.org/resource/
dbpedia-el	http://el.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
n18	https://ghostarchive.org/archive/20221009/http:/theory.stanford.edu/~jcm/papers/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-hr	http://hr.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
n25	http://tl.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-cs	http://cs.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n42	http://d-nb.info/gnd/
dbp	http://dbpedia.org/property/
dbpedia-eo	http://eo.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
n23	http://theory.stanford.edu/~jcm/papers/
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-id	http://id.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-vi	http://vi.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-th	http://th.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
yago-res	http://yago-knowledge.org/resource/
n33	https://global.dbpedia.org/id/
dbpedia-sl	http://sl.dbpedia.org/resource/
n12	https://xlinux.nist.gov/dads/HTML/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
n15	http://lt.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Abstract_data_type

rdf:type

yago:Structure105726345 yago:Method105660268 yago:Arrangement105726596 yago:Paradigm113804375 yago:Abstraction100002137 dbo:Person yago:WikicatProgrammingParadigms yago:PsychologicalFeature100023100 yago:Idea105833840 yago:DataStructure105728493 yago:WikicatDataStructures yago:Relation100031921 yago:WikicatProgrammingLanguageConcepts yago:Know-how105616786 yago:Inflection113803782 yago:Cognition100023271 yago:Concept105835747 yago:LinguisticRelation113797142 yago:WikicatFormalMethods yago:Ability105616246 yago:GrammaticalRelation113796779 yago:Content105809192 owl:Thing

rdfs:label

추상 자료형 Abstract datatype 抽象資料型別 Abstrakcyjny typ danych Tipo abstrato de dado Абстрактный тип данных Abstraktní datový typ Tipus abstracte de dades 抽象データ型 Type abstrait Abstrakta datumtipo Абстрактний тип даних Tipo de dato abstracto Αφηρημένος τύπος δεδομένων Abstrakter Datentyp Abstract data type Tipe data abstrak Tipo di dato astratto

rdfs:comment

Na ciência da computação, um Tipo Abstrato de Dados (abreviado TAD) é um modelo matemático para tipos de dados; ou seja, na programação de computadores é um código que define e implementa um novo tipo de informação ou um novo tipo de objeto utilizado na linguagem de programação orientada a objetos, que é definido pelo seu comportamento (semântico) do ponto de vista de um usuário, do dado, especificamente em termos de valores possíveis, operações possíveis no dado desse tipo, e o comportamento dessas operações. Esse modelo matemático contrasta com estrutura de dados, que são representações concretas de dado, e são o ponto de vista de um implementador, não de um usuário. 추상적 자료형(abstract data type, ADT)은 컴퓨터 과학에서 자료들과 그 자료들에 대한 연산들을 명기한 것이다. 추상적 자료형은 구현 방법을 명시하고 있지 않다는 점에서 자료 구조와 다르다. 비슷한 개념의 추상적 자료 구조는 각 연산의 시간 복잡도를 명기하고 있지만 추상적 자료형에서는 이것조차 명기하지 않는다. 추상적 자료형은 인터페이스와 구현을 분리하여 추상화 계층을 둔 것이다. 예를 들어, 전기 밥솥을 추상적 자료형에 비유한다면, 그 속에 들어가는 밥은 자료가 되고, 밥솥에 있는 취사, 예약취사 버튼들과 남은 시간을 표시하는 디스플레이에 어떤 내용들이 표시되어야 하는지를 명기한 것이다. 추상적 자료형에서는 이것들이 어떻게 구성되는지 관심이 없고, 몇 와트의 전기를 소모하는지에 대해서도 관심이 없다. Tipe data abstrak (TDA) atau lebih dikenal dalam bahasa Inggris sebagai Abstract data type (ADT)merupakan model matematika yang merujuk pada sejumlah bentuk struktur data yang memiliki kegunaan atau perilaku yang serupa; atau suatu tipe data dari suatu bahasa pemrograman yang memiliki sematik yang serupa. Tipe data abstrak umumnya didefinisikan tidak secara langsung, melainkan hanya melalui operasi matematis tertentu sehingga membutuhkan penggunaan tipe data tersebut meski dengan risiko kompleksitas yang lebih tinggi atas operasi tersebut. Ein Abstrakter Datentyp (ADT) ist ein Verbund von Daten zusammen mit der Definition aller zulässigen Operationen, die auf sie zugreifen. En informatique, un type abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles. On qualifie d'abstrait ce type de données car il correspond à un cahier des charges qu'une structure de données doit ensuite mettre en œuvre. En informàtica, un tipus abstracte de dades (TAD) és una especificació d'un conjunt de dades i d'un conjunt d'operacions que poden ser executades sobre el conjunt de dades. Com a tipus de dades diem que és abstracte en el sentit que és independent de les possibles implementacions. La definició d'un TAD es pot fer de forma formal (definició matemàtica) o pot fer-se mitjançant una especificació informàtica (per exemple utilitzant una ). En ciencias de la computación un tipo de dato abstracto (TDA) o tipo abstracto de datos (TAD) es un modelo matemático compuesto por una colección de operaciones definidas sobre un conjunto de datos para el modelo. Abstraktní datový typ (ADT) je v informatice výraz pro typy dat, které jsou nezávislé na vlastní implementaci. Hlavním cílem je zjednodušit a zpřehlednit program, který provádí operace s daným datovým typem. ADT umožňuje vytvářet i složitější datové typy, např. operace s ADT typu zásobník, fronta a asociativní pole. Všechny ADT lze realizovat pomocí základních algoritmických operací (přiřazení, sčítání, násobení, podmíněný skok,…). Abstrakta datumtipo estas datumtipo difinita nur per la aro da operacioj (operacisimboloj aŭ funkcinomoj) aplikeblaj al ties objektoj, sen indiko pri la interna prezento de iliaj valoroj kaj sen programkodo de la operacioj. La epiteto abstrakta esprimas ĝuste tion, ke la interna strukturo de la objektoj de abstrakta datumtipo estas kaŝita de la ĝin uzanta programisto. Abstrakta datumtipo difinas la sortimenton da bazaj funkcioj por manipuli ĝiajn objektojn en ajna eventuala realigo — kian oni povas nomi konkreta datumtipo aŭ datumstrukturo. Абстрактний тип даних (АТД) — це математична модель для типів даних, де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій. Вся внутрішня структура такого типу захована від розробника програмного забезпечення — в цьому і полягає суть абстракції. Абстрактний тип даних визначає набір функцій, незалежних від конкретної реалізації типу, для оперування його значеннями. Конкретні реалізації АТД називаються структурами даних. Een abstract datatype (afgekort ADT) of abstract gegevenstype is een modelleerconcept uit de informatica. In een abstract datatype worden de waarden gedefinieerd die aangenomen kunnen worden en de mogelijke operaties op die waarden, zonder een concrete implementatie te geven. Het is van belang op te merken dat de term abstract bij abstracte datatypen verwijst naar het abstractieniveau (als in abstractie in de wiskunde, het abstracte denken) en niet naar de mogelijkheid om stukken implementatie weg te laten (zoals bij abstracte klassen). 抽象データ型（ちゅうしょうデータがた、英: abstract data type、ADT）とは、データ構造とその操作手続きを定義したデータ型、またはデータ抽象の方法の1つ。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作のまとまりである。 抽象データ型を用いない場合、データ構造またはデータの操作手続きのアルゴリズムの変更を行うとソースコード中にその変更部分が散在してしまい規模によっては修正困難となるが、データとその操作がひとまとめに記載されることになる抽象データ型においては、型の定義における実装部分を変更するだけで修正が完了する。 Στην πληροφορική, ο αφηρημένος τύπος δεδομένων (ΑΤΔ) είναι ένα μαθηματικό μοντέλο για μια συγκεκριμένη κλάση δομών δεδομένων με κοινή συμπεριφορά. Επίσης ο όρος θα μπορούσε να αναφέρεται σε ορισμένους τύπους δεδομένων μίας ή περισσότερων γλωσσών προγραμματισμού με παρόμοια σημασιολογία. Ένας Αφηρημένος Τύπος Δεδομένων ορίζεται έμμεσα, μέσω των πράξεων που μπορούν να εφαρμοστούν επ' αυτού και των μαθηματικών περιορισμών (πιθανότατα και του κόστους) των πράξεων αυτών. Abstrakcyjny typ danych (ang. abstract data type, ADT) – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji). Specyfikacja ADT powinna: * być jednoznaczna i dokładna; * zawierać wszystkie przypadki warte rozważenia; * nie zawierać niepotrzebnych informacji. Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić: * nazwę tego typu; * dziedzinę; * zbiór funkcji; * aksjomaty; * warunki początkowe. Un tipo di dato astratto o ADT (Abstract Data Type), in informatica e specificamente nel campo della programmazione, è un tipo di dato le cui istanze possono essere manipolate con modalità che dipendono esclusivamente dalla semantica (anche detto comportamento) del dato e non dalla sua realizzazione. In computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (semantics) from the point of view of a user, of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This mathematical model contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user. Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций. Абстрактные типы данных позволяют достичь модульности программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля. 抽象資料型別（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。 例如，抽象的堆疊（stack）由3个操作定义：推入push，彈出pop（接受约束：每次彈出返回的是最新被推入且没有被弹出的数据，也就是後進先出），查看堆疊頂端数据peek。当分析使用堆疊演算法的效率，所有这3个操作用时相同，无论堆疊中包含多少项数据；并且对每项数据栈使用了常量大小的存储。 抽象数据类型（ADT）是纯粹理论实体，用于简化描述抽象算法，分类与评价数据结构，形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现，在许多程序设计语言中有许多种实现方式；或者用形式规范语言描述。ADT常实现为模块（module）：模块的接口声明了对应于ADT操作的例程（procedure），有时用注释描述了约束。

owl:differentFrom

dbr:Algebraic_data_type

dcterms:subject

dbc:Abstract_data_types dbc:Data_types dbc:Type_theory

dbo:wikiPageID

2349

dbo:wikiPageRevisionID

1120668316

dbo:wikiPageWikiLink

dbr:Mathematical_model dbc:Abstract_data_types dbr:Barbara_Liskov dbr:Multimap dbr:Donald_Knuth dbr:Initial_algebra dbr:Functional_programming dbr:Set_(abstract_data_type) dbr:Algebraic_structure dbr:Analysis_of_algorithms dbr:Multiset dbr:String(abstract_data_type) dbr:Functional_specification dbr:Record_(computer_science) dbr:Hash_cons dbr:Operational_semantics dbr:Opaque_data_type dbc:Data_types dbr:Linked_list dbr:Generalized_algebraic_data_type dbr:Homogeneity_and_heterogeneity_(statistics) dbr:Side_effect_(computer_science) dbr:Client_(computing) dbr:Data_type dbr:Double-ended_priority_queue dbr:Double-ended_queue dbr:Protocol_(object-oriented_programming) dbr:NIST dbr:Formal_methods dbr:Comment_(computer_programming) dbr:C++ dbr:Object_(computer_science) dbr:If_and_only_if dbr:Aliasing_(computing) dbr:Design_by_contract dbr:Priority_queue dbr:Method_(computer_programming) dbr:Daniel_Thalmann dbr:Information_hiding dbr:Binary-coded_decimal dbr:Queue_(abstract_data_type) dbr:Boolean_value dbr:Lua_(programming_language) dbr:Ones'_complement dbr:Algorithm dbr:Integer dbr:Imperative_programming dbr:Software_engineering dbr:Two's_complement dbr:Walls_and_Mirrors dbr:Container_(abstract_data_type) dbr:Implementation dbr:Arithmetic_overflow dbr:Nadia_Magnenat_Thalmann dbr:Software_system dbr:Concept_(generic_programming) dbc:Type_theory dbr:Awk dbr:CLU_(programming_language) dbr:Formal_specification_language dbr:Module_(programming) dbr:Liskov_substitution_principle dbr:Binary_number dbr:Function_(mathematics) dbr:Standard_Template_Library dbr:Integer_division dbr:List_(abstract_data_type) dbr:User_(computing) dbr:Alexander_Stepanov dbr:Associative_array dbr:Type_system dbr:Type_theory dbr:C_(programming_language) dbr:Abstract_graphical_data_type dbr:Tree_(data_structure) dbr:The_Art_of_Computer_Programming dbr:Computational_complexity_theory dbr:Array_data_structure dbr:Graph_(abstract_data_type) dbr:Abstract_machine dbr:Computer_language dbr:Modular_programming dbr:Axiomatic_semantics dbr:Interface_(computer_science) dbr:Java_programming_language dbr:Semantics_(computer_science) dbr:Data_abstraction dbr:Handle_(computing) dbr:Abstract_type dbr:Data_structure dbr:Stack_(abstract_data_type) dbr:Object-oriented_programming_language dbr:Class_(computer_science) dbr:Abstraction_(computer_science) dbr:Hash_function dbr:Perl dbr:Collection_(abstract_data_type) dbr:Computer_science dbr:Subroutine

dbo:wikiPageExternalLink

n12:abstractDataType.html n18:mitch-plotkin-88.pdf n23:mitch-plotkin-88.pdf

owl:sameAs

freebase:m.0ysg dbpedia-hr:Apstraktna_vrsta_podataka n15:Abstraktus_duomenų_tipas dbpedia-he:טיפוס_נתונים_מופשט dbpedia-ru:Абстрактный_тип_данных dbpedia-pt:Tipo_abstrato_de_dado dbpedia-fr:Type_abstrait dbpedia-de:Abstrakter_Datentyp n25:Tipo_ng_abstraktong_datos dbpedia-da:Abstrakt_datatype dbpedia-ja:抽象データ型 dbpedia-es:Tipo_de_dato_abstracto dbpedia-th:แบบชนิดข้อมูลนามธรรม dbpedia-uk:Абстрактний_тип_даних dbpedia-id:Tipe_data_abstrak dbpedia-zh:抽象資料型別 n33:4ytKN dbpedia-eo:Abstrakta_datumtipo dbpedia-pl:Abstrakcyjny_typ_danych wikidata:Q827335 dbpedia-cs:Abstraktní_datový_typ dbpedia-fi:Abstrakti_tietotyyppi dbpedia-nl:Abstract_datatype dbpedia-ca:Tipus_abstracte_de_dades dbpedia-el:Αφηρημένος_τύπος_δεδομένων n42:4120827-4 yago-res:Abstract_data_type dbpedia-it:Tipo_di_dato_astratto dbpedia-vi:Kiểu_dữ_liệu_trừu_tượng dbpedia-ko:추상_자료형 dbpedia-sl:Abstraktni_podatkovni_tip dbpedia-fa:نوع_داده_انتزاعی

dbp:wikiPageUsesTemplate

dbt:Reflist dbt:Div_col dbt:Div_col_end dbt:Refend dbt:Refbegin dbt:Too_many_sections dbt:Quote dbt:Cite_conference dbt:Cite_book dbt:Further dbt:Authority_control dbt:Cite_journal dbt:Commonscatinline dbt:Clarification_needed dbt:Notelist dbt:Cn dbt:Distinguish dbt:Data_types dbt:Original_research dbt:Efn dbt:Citation_needed dbt:Sfn dbt:More_footnotes dbt:More_citations_needed dbt:More_citations_needed_section dbt:Data_structures dbt:Short_description dbt:Multiple_issues

dbo:abstract

Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций. Формально АТД может быть определён как множество объектов, определяемое списком компонентов (операций, применимых к этим объектам, и их свойств). Вся внутренняя структура такого типа спрятана от разработчика программного обеспечения — в этом и заключается суть абстракции. Абстрактный тип данных определяет набор функций, независимых от конкретной реализации типа, для оперирования его значениями. Конкретные реализации АТД называются структурами данных. В программировании абстрактные типы данных обычно представляются в виде интерфейсов, которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу инкапсуляции в объектно-ориентированном программировании. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешнего интерфейса и семантики функций, постепенно дорабатывать реализации, улучшая алгоритмы по скорости, надёжности и используемой памяти. Различие между абстрактными типами данных и структурами данных, которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных «список» может быть реализован при помощи массива или линейного списка с использованием различных методов динамического выделения памяти. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализаций. Абстрактные типы данных позволяют достичь модульности программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля. Στην πληροφορική, ο αφηρημένος τύπος δεδομένων (ΑΤΔ) είναι ένα μαθηματικό μοντέλο για μια συγκεκριμένη κλάση δομών δεδομένων με κοινή συμπεριφορά. Επίσης ο όρος θα μπορούσε να αναφέρεται σε ορισμένους τύπους δεδομένων μίας ή περισσότερων γλωσσών προγραμματισμού με παρόμοια σημασιολογία. Ένας Αφηρημένος Τύπος Δεδομένων ορίζεται έμμεσα, μέσω των πράξεων που μπορούν να εφαρμοστούν επ' αυτού και των μαθηματικών περιορισμών (πιθανότατα και του κόστους) των πράξεων αυτών. Για παράδειγμα, ο ΑΤΔ Στοίβα θα μπορούσε να οριστεί μέσω τριών πράξεων: της ώθησης (push), με την οποία εισάγεται ένα αντικείμενο στην δομή, της εξαγωγής (pop), η οποία εξάγει ένα στοιχείο από τη δομή (με τον περιορισμό ότι σε κάθε εξαγωγή θα πρέπει να επιστρέφει το τελευταίο αντικείμενο που εισήχθη στη στοίβα και ακόμα δεν έχει εξαχθεί) και της ανάκτησης (peek), που επιστρέφει το περιεχόμενο του πιο πρόσφατα εισαχθέντος κόμβου, χωρίς να τον εξάγει από τη δομή. Αναλύοντας την αποδοτικότητα αλγορίθμων οι οποίοι χρησιμοποιούν στοίβες, θα μπορούσαμε να πούμε ότι όλες οι λειτουργίες διαρκούν το ίδιο ανεξάρτητα από το πλήθος των αντικειμένων που έχουν εισαχθεί στη στοίβα, και η στοίβα δεσμεύει σταθερό χώρο για κάθε αντικείμενο. Οι ΑΤΔ αποτελούν καθαρά θεωρητικές οντότητες, οι οποίες χρησιμοποιούνται (πέραν των άλλων) στην απλοποίηση περιγραφής αφηρημένων αλγορίθμων, την ταξινόμηση και αξιολόγηση τύπων δεδομένων, και την τυπική περιγραφή συστημάτων τύπων γλωσσών προγραμματισμού. Εν τούτοις, ένας ΑΤΔ μπορεί να με συγκεκριμένες δομές δεδομένων ή τύπους δεδομένων, με πολλούς τρόπους και σε πολλές γλώσσες προγραμματισμού, ή να περιγραφεί με μια τυπική γλώσσα προδιαγραφών. Οι ΑΤΔ συνήθως υλοποιούνται ως ξεχωριστά (ενότητες): Η διεπαφή (ή διαπροσωπεία) του module δηλώνει τις διαδικασίες που αντιστοιχούν στις πράξεις του ΑΤΔ, κάποιες φορές συνοδευόμενα από σχόλια που περιγράφουν τους περιορισμούς. Αυτή η στρατηγική επιτρέπει την αλλαγή της υλοποίησης της μονάδας, χωρίς αυτό να επηρεάσει τα προγράμματα πελάτη. Ο όρος Αφηρημένος Τύπος Δεδομένων μπορεί επίσης να θεωρηθεί μια γενικευμένη προσέγγιση αρκετών αλγεβρικών δομών, όπως τα δικτυώματα, οι ομάδες και οι δακτύλιοι. Αυτό θα μπορούσε να θεωρηθεί υποπεριοχή του αντικειμένου της Τεχνητής Νοημοσύνης. Η έννοια του ΑΤΔ σχετίζεται με την έννοια της , έννοιας ιδιαίτερα σημαντικής στον Αντικειμενοστρεφή Προγραμματισμό και των μεθοδολογιών . Een abstract datatype (afgekort ADT) of abstract gegevenstype is een modelleerconcept uit de informatica. In een abstract datatype worden de waarden gedefinieerd die aangenomen kunnen worden en de mogelijke operaties op die waarden, zonder een concrete implementatie te geven. Het is van belang op te merken dat de term abstract bij abstracte datatypen verwijst naar het abstractieniveau (als in abstractie in de wiskunde, het abstracte denken) en niet naar de mogelijkheid om stukken implementatie weg te laten (zoals bij abstracte klassen). En informàtica, un tipus abstracte de dades (TAD) és una especificació d'un conjunt de dades i d'un conjunt d'operacions que poden ser executades sobre el conjunt de dades. Com a tipus de dades diem que és abstracte en el sentit que és independent de les possibles implementacions. La definició d'un TAD es pot fer de forma formal (definició matemàtica) o pot fer-se mitjançant una especificació informàtica (per exemple utilitzant una ). In computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (semantics) from the point of view of a user, of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This mathematical model contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user. Formally, an ADT may be defined as a "class of objects whose logical behavior is defined by a set of values and a set of operations"; this is analogous to an algebraic structure in mathematics. What is meant by "behaviour" varies by author, with the two main types of formal specifications for behavior being axiomatic (algebraic) specification and an abstract model; these correspond to axiomatic semantics and operational semantics of an abstract machine, respectively. Some authors also include the computational complexity ("cost"), both in terms of time (for computing operations) and space (for representing values). In practice, many common data types are not ADTs, as the abstraction is not perfect, and users must be aware of issues like arithmetic overflow that are due to the representation. For example, integers are often stored as fixed-width values (32-bit or 64-bit binary numbers), and thus experience integer overflow if the maximum value is exceeded. ADTs are a theoretical concept, in computer science, used in the design and analysis of algorithms, data structures, and software systems, and do not correspond to specific features of computer languages—mainstream computer languages do not directly support formally specified ADTs. However, various language features correspond to certain aspects of ADTs, and are easily confused with ADTs proper; these include abstract types, opaque data types, protocols, and design by contract. ADTs were first proposed by Barbara Liskov and Stephen N. Zilles in 1974, as part of the development of the CLU language. En informatique, un type abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles. On qualifie d'abstrait ce type de données car il correspond à un cahier des charges qu'une structure de données doit ensuite mettre en œuvre. Abstraktní datový typ (ADT) je v informatice výraz pro typy dat, které jsou nezávislé na vlastní implementaci. Hlavním cílem je zjednodušit a zpřehlednit program, který provádí operace s daným datovým typem. ADT umožňuje vytvářet i složitější datové typy, např. operace s ADT typu zásobník, fronta a asociativní pole. Všechny ADT lze realizovat pomocí základních algoritmických operací (přiřazení, sčítání, násobení, podmíněný skok,…). En ciencias de la computación un tipo de dato abstracto (TDA) o tipo abstracto de datos (TAD) es un modelo matemático compuesto por una colección de operaciones definidas sobre un conjunto de datos para el modelo. Tipe data abstrak (TDA) atau lebih dikenal dalam bahasa Inggris sebagai Abstract data type (ADT)merupakan model matematika yang merujuk pada sejumlah bentuk struktur data yang memiliki kegunaan atau perilaku yang serupa; atau suatu tipe data dari suatu bahasa pemrograman yang memiliki sematik yang serupa. Tipe data abstrak umumnya didefinisikan tidak secara langsung, melainkan hanya melalui operasi matematis tertentu sehingga membutuhkan penggunaan tipe data tersebut meski dengan risiko kompleksitas yang lebih tinggi atas operasi tersebut. Un tipo di dato astratto o ADT (Abstract Data Type), in informatica e specificamente nel campo della programmazione, è un tipo di dato le cui istanze possono essere manipolate con modalità che dipendono esclusivamente dalla semantica (anche detto comportamento) del dato e non dalla sua realizzazione. Абстрактний тип даних (АТД) — це математична модель для типів даних, де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій. Вся внутрішня структура такого типу захована від розробника програмного забезпечення — в цьому і полягає суть абстракції. Абстрактний тип даних визначає набір функцій, незалежних від конкретної реалізації типу, для оперування його значеннями. Конкретні реалізації АТД називаються структурами даних. В програмуванні абстрактні типи даних зазвичай подаються у вигляді інтерфейсів, які приховують відповідні реалізації типів. Програмісти працюють з абстрактними типами даних виключно через їх інтерфейси, оскільки реалізація може в майбутньому змінитися. Такий підхід відповідає принципу інкапсуляції в об'єктно-орієнтованому програмуванні. Сильною стороною цієї методики є саме приховування реалізації. Раз зовні опублікований тільки інтерфейс, то поки структура даних підтримує цей інтерфейс, всі програми, що працюють із заданою структурою абстрактним типом даних, будуть продовжувати працювати. Розробники структур даних намагаються, не змінюючи зовнішнього інтерфейсу і семантики функцій, поступово допрацьовувати реалізації, покращуючи алгоритми по швидкості, надійності і використовуваної пам'яті. Різниця між абстрактними типами даних і структурами даних, які реалізують абстрактні типи, можна пояснити на наступному прикладі. Абстрактний тип даних список може бути реалізований за допомогою масиву або лінійного списку, з використанням різних методів динамічного виділення пам'яті. Однак кожна реалізація визначає один і той же набір функцій, який повинен працювати однаково (по результату, а не за швидкістю) для всіх реалізацій. Абстрактні типи даних дозволяють досягти модульностi програмних продуктів і мати кілька альтернативних взаємозамінних реалізацій окремого модуля. 추상적 자료형(abstract data type, ADT)은 컴퓨터 과학에서 자료들과 그 자료들에 대한 연산들을 명기한 것이다. 추상적 자료형은 구현 방법을 명시하고 있지 않다는 점에서 자료 구조와 다르다. 비슷한 개념의 추상적 자료 구조는 각 연산의 시간 복잡도를 명기하고 있지만 추상적 자료형에서는 이것조차 명기하지 않는다. 추상적 자료형은 인터페이스와 구현을 분리하여 추상화 계층을 둔 것이다. 예를 들어, 전기 밥솥을 추상적 자료형에 비유한다면, 그 속에 들어가는 밥은 자료가 되고, 밥솥에 있는 취사, 예약취사 버튼들과 남은 시간을 표시하는 디스플레이에 어떤 내용들이 표시되어야 하는지를 명기한 것이다. 추상적 자료형에서는 이것들이 어떻게 구성되는지 관심이 없고, 몇 와트의 전기를 소모하는지에 대해서도 관심이 없다. 자료에 대한 연산은 자료에 대하여 를 던지는 것과 자료를 변경하기 위한 연산으로 나뉜다. 유명한 자료구조인 스택에서 자료를 변경하기 위한 연산은 기본적으로 push와 pop이 있다. 여기에 자료에 대하여 질의를 던지는 연산으로 스택의 크기를 알 수 있는 size 연산, 스택이 가득차거나 비었는지를 알 수 있는 full, empty 연산이 있고, 추가적으로 pop을 하면 제거될 자료를 볼 수 있는 peek 연산 등을 정의할 수 있다. 만약 여기에 각 연산들은 모두 상수 시간 복잡도(즉, O(1))에 일어나야 한다고 명기한다면 이것은 '추상적 자료 구조'가 된다. 抽象データ型（ちゅうしょうデータがた、英: abstract data type、ADT）とは、データ構造とその操作手続きを定義したデータ型、またはデータ抽象の方法の1つ。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作のまとまりである。 抽象データ型を用いない場合、データ構造またはデータの操作手続きのアルゴリズムの変更を行うとソースコード中にその変更部分が散在してしまい規模によっては修正困難となるが、データとその操作がひとまとめに記載されることになる抽象データ型においては、型の定義における実装部分を変更するだけで修正が完了する。 Abstrakcyjny typ danych (ang. abstract data type, ADT) – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji). Specyfikacja ADT powinna: * być jednoznaczna i dokładna; * zawierać wszystkie przypadki warte rozważenia; * nie zawierać niepotrzebnych informacji. Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić: * nazwę tego typu; * dziedzinę; * zbiór funkcji; * aksjomaty; * warunki początkowe. Ein Abstrakter Datentyp (ADT) ist ein Verbund von Daten zusammen mit der Definition aller zulässigen Operationen, die auf sie zugreifen. 抽象資料型別（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。 例如，抽象的堆疊（stack）由3个操作定义：推入push，彈出pop（接受约束：每次彈出返回的是最新被推入且没有被弹出的数据，也就是後進先出），查看堆疊頂端数据peek。当分析使用堆疊演算法的效率，所有这3个操作用时相同，无论堆疊中包含多少项数据；并且对每项数据栈使用了常量大小的存储。 抽象数据类型（ADT）是纯粹理论实体，用于简化描述抽象算法，分类与评价数据结构，形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现，在许多程序设计语言中有许多种实现方式；或者用形式规范语言描述。ADT常实现为模块（module）：模块的接口声明了对应于ADT操作的例程（procedure），有时用注释描述了约束。 Abstrakta datumtipo estas datumtipo difinita nur per la aro da operacioj (operacisimboloj aŭ funkcinomoj) aplikeblaj al ties objektoj, sen indiko pri la interna prezento de iliaj valoroj kaj sen programkodo de la operacioj. La epiteto abstrakta esprimas ĝuste tion, ke la interna strukturo de la objektoj de abstrakta datumtipo estas kaŝita de la ĝin uzanta programisto. Abstrakta datumtipo difinas la sortimenton da bazaj funkcioj por manipuli ĝiajn objektojn en ajna eventuala realigo — kian oni povas nomi konkreta datumtipo aŭ datumstrukturo. En programado abstraktajn datumtipojn oni kutime prezentas per interfaco kaŝanta la konkretajn datumstrukturojn. La programistoj manipulas la objektojn de la abstrakta datumtipo sole nur per tiuj interfacaj funkcion, kio ebligas ŝanĝi la komkretajn datumstrukturojn kaj verki abstraktajn algoritmojn por diversaj datumstrukruroj (ekz-e ordigon por abstraktaj tabeloj, surbaze de abstrakta kompara funkcio). Tio respondas al en la objektema programado. Na ciência da computação, um Tipo Abstrato de Dados (abreviado TAD) é um modelo matemático para tipos de dados; ou seja, na programação de computadores é um código que define e implementa um novo tipo de informação ou um novo tipo de objeto utilizado na linguagem de programação orientada a objetos, que é definido pelo seu comportamento (semântico) do ponto de vista de um usuário, do dado, especificamente em termos de valores possíveis, operações possíveis no dado desse tipo, e o comportamento dessas operações. Esse modelo matemático contrasta com estrutura de dados, que são representações concretas de dado, e são o ponto de vista de um implementador, não de um usuário. Formalmente, um TAD pode ser definido como uma “classe de objetos do qual comportamento lógico é definido por um conjunto de valores e um conjunto de operações”; isso é análogo à uma estrutura algébrica na matemática. O que significa “comportamento” varia de autor para autor, com dois principais tipos de especificações formais para comportamento sendo especificação axiomática (algébrica) e um modelo abstrato; esses correspondem à semântica axiomática e semântica operacional de uma máquina abstrata, respectivamente. Alguns autores também incluem a complexidade computacional (“custo”), ambos em termos de tempo (para computar operações) e espaço (para representar valores). Na prática, vários tipos de dados comuns não são TADs, como a abstração não é perfeita, e usuários tem que ser avisados de problemas como overflow aritmético que são causados pela representação. Por exemplo, inteiros são geralmente armazenados com valores de tamanho fixo (32-bit ou 64-bit números binários), e assim quando o valor máximo é excedido, ocorre overflow de inteiro. TAD é um conceito teórico, na ciência da computação, usada para o design e análise de algoritmos, estrutura de dados, e sistemas de software, e não corresponde às funcionalidades específicas de linguagens de programação – Linguagens de programação convencionais não suportam diretamente TADs. Entretanto, algumas funcionalidades de linguagens correspondem à certos aspectos dos TADs, e são facilmente confundidas com os próprios TADs; isso inclui tipos abstratos, tipos de dados opacos, protocolos(interface), e programação por contrato. TADs foram propostos por Barbara Liskov e Stephen N. Zilles em 1974, como parte do desenvolvimento da linguagem CLU.

gold:hypernym

dbr:Model

prov:wasDerivedFrom

wikipedia-en:Abstract_data_type?oldid=1120668316&ns=0

dbo:wikiPageLength

33142

foaf:isPrimaryTopicOf

wikipedia-en:Abstract_data_type