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.

Property Value
dbo:abstract
  • 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 ). (ca)
  • 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,…). (cs)
  • Στην πληροφορική, ο αφηρημένος τύπος δεδομένων (ΑΤΔ) είναι ένα μαθηματικό μοντέλο για μια συγκεκριμένη κλάση δομών δεδομένων με κοινή συμπεριφορά. Επίσης ο όρος θα μπορούσε να αναφέρεται σε ορισμένους τύπους δεδομένων μίας ή περισσότερων γλωσσών προγραμματισμού με παρόμοια σημασιολογία. Ένας Αφηρημένος Τύπος Δεδομένων ορίζεται έμμεσα, μέσω των πράξεων που μπορούν να εφαρμοστούν επ' αυτού και των μαθηματικών περιορισμών (πιθανότατα και του κόστους) των πράξεων αυτών. Για παράδειγμα, ο ΑΤΔ Στοίβα θα μπορούσε να οριστεί μέσω τριών πράξεων: της ώθησης (push), με την οποία εισάγεται ένα αντικείμενο στην δομή, της εξαγωγής (pop), η οποία εξάγει ένα στοιχείο από τη δομή (με τον περιορισμό ότι σε κάθε εξαγωγή θα πρέπει να επιστρέφει το τελευταίο αντικείμενο που εισήχθη στη στοίβα και ακόμα δεν έχει εξαχθεί) και της ανάκτησης (peek), που επιστρέφει το περιεχόμενο του πιο πρόσφατα εισαχθέντος κόμβου, χωρίς να τον εξάγει από τη δομή. Αναλύοντας την αποδοτικότητα αλγορίθμων οι οποίοι χρησιμοποιούν στοίβες, θα μπορούσαμε να πούμε ότι όλες οι λειτουργίες διαρκούν το ίδιο ανεξάρτητα από το πλήθος των αντικειμένων που έχουν εισαχθεί στη στοίβα, και η στοίβα δεσμεύει σταθερό χώρο για κάθε αντικείμενο. Οι ΑΤΔ αποτελούν καθαρά θεωρητικές οντότητες, οι οποίες χρησιμοποιούνται (πέραν των άλλων) στην απλοποίηση περιγραφής αφηρημένων αλγορίθμων, την ταξινόμηση και αξιολόγηση τύπων δεδομένων, και την τυπική περιγραφή συστημάτων τύπων γλωσσών προγραμματισμού. Εν τούτοις, ένας ΑΤΔ μπορεί να με συγκεκριμένες δομές δεδομένων ή τύπους δεδομένων, με πολλούς τρόπους και σε πολλές γλώσσες προγραμματισμού, ή να περιγραφεί με μια τυπική γλώσσα προδιαγραφών. Οι ΑΤΔ συνήθως υλοποιούνται ως ξεχωριστά (ενότητες): Η διεπαφή (ή διαπροσωπεία) του module δηλώνει τις διαδικασίες που αντιστοιχούν στις πράξεις του ΑΤΔ, κάποιες φορές συνοδευόμενα από σχόλια που περιγράφουν τους περιορισμούς. Αυτή η στρατηγική επιτρέπει την αλλαγή της υλοποίησης της μονάδας, χωρίς αυτό να επηρεάσει τα προγράμματα πελάτη. Ο όρος Αφηρημένος Τύπος Δεδομένων μπορεί επίσης να θεωρηθεί μια γενικευμένη προσέγγιση αρκετών αλγεβρικών δομών, όπως τα δικτυώματα, οι ομάδες και οι δακτύλιοι. Αυτό θα μπορούσε να θεωρηθεί υποπεριοχή του αντικειμένου της Τεχνητής Νοημοσύνης. Η έννοια του ΑΤΔ σχετίζεται με την έννοια της , έννοιας ιδιαίτερα σημαντικής στον Αντικειμενοστρεφή Προγραμματισμό και των μεθοδολογιών . (el)
  • 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 "behavior" 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)
  • Ein Abstrakter Datentyp (ADT) ist ein Verbund von Daten zusammen mit der Definition aller zulässigen Operationen, die auf sie zugreifen. (de)
  • 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. (eo)
  • 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. (es)
  • 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. (fr)
  • 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. (in)
  • 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 del dato e non dalla sua realizzazione. (it)
  • 抽象データ型(ちゅうしょうデータがた、英: abstract data type、ADT)とは、データ構造とそれを直接操作する手続きをまとめてデータ型の定義とすることでデータ抽象を実現する手法またはそのひとまとまりとして定義されたデータ型を言う。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作のまとまりである。 抽象データ型を用いない場合、データ構造またはデータの操作手続きのアルゴリズムの変更を行うとソースコード中にその変更部分が散在してしまい規模によっては修正困難となるが、データとその操作がひとまとめに記載されることになる抽象データ型においては、型の定義における実装部分を変更するだけで修正が完了する。 (ja)
  • 추상적 자료형(Abstract Data Type, 줄여서 ADT)은 컴퓨터 과학에서 자료들과 그 자료들에 대한 연산들을 명기한 것이다. 추상적 자료형은 구현 방법을 명시하고 있지 않다는 점에서 자료 구조와 다르다. 비슷한 개념의 추상적 자료 구조는 각 연산의 시간 복잡도를 명기하고 있지만 추상적 자료형에서는 이것조차 명기하지 않는다. 추상적 자료형은 인터페이스와 구현을 분리하여 추상화 계층을 둔 것이다. 예를 들어, 전기 밥솥을 추상적 자료형에 비유한다면, 그 속에 들어가는 밥은 자료가 되고, 밥솥에 있는 취사, 예약취사 버튼들과 남은 시간을 표시하는 디스플레이에 어떤 내용들이 표시되어야 하는지를 명기한 것이다. 추상적 자료형에서는 이것들이 어떻게 구성되는지 관심이 없고, 몇 와트의 전기를 소모하는지에 대해서도 관심이 없다. 자료에 대한 연산은 자료에 대하여 를 던지는 것과 자료를 변경하기 위한 연산으로 나뉜다. 유명한 자료구조인 스택에서 자료를 변경하기 위한 연산은 기본적으로 push와 pop이 있다. 여기에 자료에 대하여 질의를 던지는 연산으로 스택의 크기를 알 수 있는 size 연산, 스택이 가득차거나 비었는지를 알 수 있는 full, empty 연산이 있고, 추가적으로 pop을 하면 제거될 자료를 볼 수 있는 peek 연산 등을 정의할 수 있다. 만약 여기에 각 연산들은 모두 상수 시간 복잡도(즉, O(1))에 일어나야 한다고 명기한다면 이것은 '추상적 자료 구조'가 된다. (ko)
  • Een abstract datatype (afgekort ADT) of abstract gegevenstype is een modelleerconcept uit de informatica. De term is afgeleid van de Engelse term abstract data type. ADT's worden gebruikt om bestaande programmeertalen uit te breiden met datatypes die niet in die talen ingebouwd zijn. Deze datatypes zijn van een hoger abstractieniveau dan de types die ingebouwd zijn in de programmeertaal die voor implementatie gebruikt wordt en zijn ieder voorzien van specifieke operaties om instanties van het ADT te bewerken. Het is van belang op te merken dat de term abstract bij ADT's verwijst naar het abstractieniveau van het ADT (als in abstractie in de wiskunde, het abstracte denken) en niet naar de mogelijkheid om stukken implementatie weg te laten (zoals bij abstracte klassen). (nl)
  • 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. (pl)
  • Em computação, o tipo abstrato de dado (TAD) é uma especificação de um conjunto de dados e operações que podem ser executadas sobre esses dados. Além disso, é uma metodologia de programação que tem como proposta reduzir a informação necessária para a criação/programação de um algoritmo através da abstração das variáveis envolvidas em uma única entidade fechada, com operações próprias à sua natureza. Um exemplo prático disto é o de um estudante. Em um projeto anterior à teoria de TAD, um estudante seria representado por variáveis soltas (como seu nome, sua idade e sua matrícula) que seriam operadas separadamente, sem ligação lógica entre elas além do conhecimento do programador de que a variável trata-se do nome da "entidade" estudante. Conceitualmente um programa passou a ser projetado pensando que não há o nome, idade e matrícula do estudante, mas simplesmente o tipo estudante. Este tipo, como um tipo simples (inteiro ou string), deve ter operadores próprios. Assim, o estudante deve possuir operações desejáveis ao programador, como duplicar sua informação, validar a matrícula, verificar a idade, etc. Na prática, o TAD é implementado usando-se um tipo composto (struct/record - estrutura/registro) com os valores pertencentes ao TAD (nome, idade, matrícula). E por funções que operam esta estrutura. Exemplo: Alem do exemplo abaixo exitem os TAD básicos e padrão; Listas, Pilhas e Filas. estrutura Estudante{ Nome Idade Matricula } funcao Estudante_MaiorDeIdade(Estudante estudante) retorna booleano; funcao Estudante_ValidaMatricula(Estudante estudante); A abstração de informações através do TAD permitiu a melhor compreensão dos algoritmos e maior facilidade de programação, e por consequência aumentou a complexidade dos programas, tornando-se fundamental em qualquer projeto de software a modelagem prévia de seus dados. Um dos problemas que são enfrentados no TAD é que ele é uma estrutura metafórica gerada pela modelagem. Porém, em nível de implementação, não há nenhuma segurança que as operações e regras de operação desejadas para este tipo serão respeitadas. Posteriormente, essa metodologia foi incorporada à própria linguagem de programação para um protótipo do que é hoje a orientação a objetos (OOP - Object Oriented Programming), permitindo o controle do acesso às informações de um tipo, a herança e o polimorfismo. (pt)
  • Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций. Формально АТД может быть определён как множество объектов, определяемое списком компонентов (операций, применимых к этим объектам, и их свойств). Вся внутренняя структура такого типа спрятана от разработчика программного обеспечения — в этом и заключается суть абстракции. Абстрактный тип данных определяет набор функций, независимых от конкретной реализации типа, для оперирования его значениями. Конкретные реализации АТД называются структурами данных. В программировании абстрактные типы данных обычно представляются в виде интерфейсов, которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу инкапсуляции в объектно-ориентированном программировании. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешнего интерфейса и семантики функций, постепенно дорабатывать реализации, улучшая алгоритмы по скорости, надежности и используемой памяти. Различие между абстрактными типами данных и структурами данных, которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных список может быть реализован при помощи массива или линейного списка с использованием различных методов динамического выделения памяти. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализаций. Абстрактные типы данных позволяют достичь модульности программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля. (ru)
  • 抽象資料型別(Abstract Data Type,ADT)是计算机科学中具有类似行为的特定类别的数据结构的数学模型;或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的,通过其上的可执行的操作以及这些操作的效果的数学约束(与可能的代价)。 例如,抽象的堆疊(stack)由3个操作定义:推入push,彈出pop(接受约束:每次彈出返回的是最新被推入且没有被弹出的数据,也就是後進先出),查看堆疊頂端数据peek。当分析使用堆疊演算法的效率,所有这3个操作用时相同,无论堆疊中包含多少项数据;并且对每项数据栈使用了常量大小的存储。 抽象数据类型(ADT)是纯粹理论实体,用于简化描述抽象算法,分类与评价数据结构,形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现,在许多程序设计语言中有许多种实现方式;或者用形式规范语言描述。ADT常实现为模块(module):模块的接口声明了对应于ADT操作的例程(procedure),有时用注释描述了约束。 (zh)
  • Абстрактний тип даних (АТД) — це математична модель для типів даних, де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій. Вся внутрішня структура такого типу захована від розробника програмного забезпечення — в цьому і полягає суть абстракції. Абстрактний тип даних визначає набір функцій, незалежних від конкретної реалізації типу, для оперування його значеннями. Конкретні реалізації АТД називаються структурами даних. В програмуванні абстрактні типи даних зазвичай подаються у вигляді інтерфейсів, які приховують відповідні реалізації типів. Програмісти працюють з абстрактними типами даних виключно через їх інтерфейси, оскільки реалізація може в майбутньому змінитися. Такий підхід відповідає принципу інкапсуляції в об'єктно-орієнтованому програмуванні. Сильною стороною цієї методики є саме приховування реалізації. Раз зовні опублікований тільки інтерфейс, то поки структура даних підтримує цей інтерфейс, всі програми, що працюють із заданою структурою абстрактним типом даних, будуть продовжувати працювати. Розробники структур даних намагаються, не змінюючи зовнішнього інтерфейсу і семантики функцій, поступово допрацьовувати реалізації, покращуючи алгоритми по швидкості, надійності і використовуваної пам'яті. Різниця між абстрактними типами даних і структурами даних, які реалізують абстрактні типи, можна пояснити на наступному прикладі. Абстрактний тип даних список може бути реалізований за допомогою масиву або лінійного списку, з використанням різних методів динамічного виділення пам'яті. Однак кожна реалізація визначає один і той же набір функцій, який повинен працювати однаково (по результату, а не за швидкістю) для всіх реалізацій. Абстрактні типи даних дозволяють досягти модульностi програмних продуктів і мати кілька альтернативних взаємозамінних реалізацій окремого модуля. (uk)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2349 (xsd:integer)
dbo:wikiPageLength
  • 31626 (xsd:integer)
dbo:wikiPageRevisionID
  • 982548742 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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 ). (ca)
  • 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,…). (cs)
  • Ein Abstrakter Datentyp (ADT) ist ein Verbund von Daten zusammen mit der Definition aller zulässigen Operationen, die auf sie zugreifen. (de)
  • 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. (es)
  • 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. (fr)
  • 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. (in)
  • 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 del dato e non dalla sua realizzazione. (it)
  • 抽象データ型(ちゅうしょうデータがた、英: abstract data type、ADT)とは、データ構造とそれを直接操作する手続きをまとめてデータ型の定義とすることでデータ抽象を実現する手法またはそのひとまとまりとして定義されたデータ型を言う。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作のまとまりである。 抽象データ型を用いない場合、データ構造またはデータの操作手続きのアルゴリズムの変更を行うとソースコード中にその変更部分が散在してしまい規模によっては修正困難となるが、データとその操作がひとまとめに記載されることになる抽象データ型においては、型の定義における実装部分を変更するだけで修正が完了する。 (ja)
  • 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. (pl)
  • 抽象資料型別(Abstract Data Type,ADT)是计算机科学中具有类似行为的特定类别的数据结构的数学模型;或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的,通过其上的可执行的操作以及这些操作的效果的数学约束(与可能的代价)。 例如,抽象的堆疊(stack)由3个操作定义:推入push,彈出pop(接受约束:每次彈出返回的是最新被推入且没有被弹出的数据,也就是後進先出),查看堆疊頂端数据peek。当分析使用堆疊演算法的效率,所有这3个操作用时相同,无论堆疊中包含多少项数据;并且对每项数据栈使用了常量大小的存储。 抽象数据类型(ADT)是纯粹理论实体,用于简化描述抽象算法,分类与评价数据结构,形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现,在许多程序设计语言中有许多种实现方式;或者用形式规范语言描述。ADT常实现为模块(module):模块的接口声明了对应于ADT操作的例程(procedure),有时用注释描述了约束。 (zh)
  • Στην πληροφορική, ο αφηρημένος τύπος δεδομένων (ΑΤΔ) είναι ένα μαθηματικό μοντέλο για μια συγκεκριμένη κλάση δομών δεδομένων με κοινή συμπεριφορά. Επίσης ο όρος θα μπορούσε να αναφέρεται σε ορισμένους τύπους δεδομένων μίας ή περισσότερων γλωσσών προγραμματισμού με παρόμοια σημασιολογία. Ένας Αφηρημένος Τύπος Δεδομένων ορίζεται έμμεσα, μέσω των πράξεων που μπορούν να εφαρμοστούν επ' αυτού και των μαθηματικών περιορισμών (πιθανότατα και του κόστους) των πράξεων αυτών. (el)
  • 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. (en)
  • 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. (eo)
  • 추상적 자료형(Abstract Data Type, 줄여서 ADT)은 컴퓨터 과학에서 자료들과 그 자료들에 대한 연산들을 명기한 것이다. 추상적 자료형은 구현 방법을 명시하고 있지 않다는 점에서 자료 구조와 다르다. 비슷한 개념의 추상적 자료 구조는 각 연산의 시간 복잡도를 명기하고 있지만 추상적 자료형에서는 이것조차 명기하지 않는다. 추상적 자료형은 인터페이스와 구현을 분리하여 추상화 계층을 둔 것이다. 예를 들어, 전기 밥솥을 추상적 자료형에 비유한다면, 그 속에 들어가는 밥은 자료가 되고, 밥솥에 있는 취사, 예약취사 버튼들과 남은 시간을 표시하는 디스플레이에 어떤 내용들이 표시되어야 하는지를 명기한 것이다. 추상적 자료형에서는 이것들이 어떻게 구성되는지 관심이 없고, 몇 와트의 전기를 소모하는지에 대해서도 관심이 없다. (ko)
  • Een abstract datatype (afgekort ADT) of abstract gegevenstype is een modelleerconcept uit de informatica. De term is afgeleid van de Engelse term abstract data type. ADT's worden gebruikt om bestaande programmeertalen uit te breiden met datatypes die niet in die talen ingebouwd zijn. Deze datatypes zijn van een hoger abstractieniveau dan de types die ingebouwd zijn in de programmeertaal die voor implementatie gebruikt wordt en zijn ieder voorzien van specifieke operaties om instanties van het ADT te bewerken. (nl)
  • Em computação, o tipo abstrato de dado (TAD) é uma especificação de um conjunto de dados e operações que podem ser executadas sobre esses dados. Além disso, é uma metodologia de programação que tem como proposta reduzir a informação necessária para a criação/programação de um algoritmo através da abstração das variáveis envolvidas em uma única entidade fechada, com operações próprias à sua natureza. Exemplo: Alem do exemplo abaixo exitem os TAD básicos e padrão; Listas, Pilhas e Filas. (pt)
  • Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций. Абстрактные типы данных позволяют достичь модульности программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля. (ru)
  • Абстрактний тип даних (АТД) — це математична модель для типів даних, де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій. Вся внутрішня структура такого типу захована від розробника програмного забезпечення — в цьому і полягає суть абстракції. Абстрактний тип даних визначає набір функцій, незалежних від конкретної реалізації типу, для оперування його значеннями. Конкретні реалізації АТД називаються структурами даних. (uk)
rdfs:label
  • Tipus abstracte de dades (ca)
  • Abstraktní datový typ (cs)
  • Abstrakter Datentyp (de)
  • Αφηρημένος τύπος δεδομένων (el)
  • Abstract data type (en)
  • Abstrakta datumtipo (eo)
  • Tipo de dato abstracto (es)
  • Type abstrait (fr)
  • Tipe data abstrak (in)
  • Tipo di dato astratto (it)
  • 抽象データ型 (ja)
  • 추상 자료형 (ko)
  • Abstract datatype (nl)
  • Abstrakcyjny typ danych (pl)
  • Абстрактный тип данных (ru)
  • Tipo abstrato de dado (pt)
  • Абстрактний тип даних (uk)
  • 抽象資料型別 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:differentFrom of
is foaf:primaryTopic of