| dbpprop:abstract
|
- In computing, an abstract data type or abstract data structure is a mathematical model for a certain class of data structures that have similar behavior; or for certain data types of one or more programming languages that have similar semantics. An abstract data type is defined indirectly, only by the operations that may be performed on it and by mathematical constraints on the effects of those operations. For example, an abstract stack data structure could be defined by two operations: push, that inserts some data item into the structure, and pop, that extracts an item from it; with the constraint that each pop always returns the most recently pushed item that has not been popped yet. When analyzing the efficiency of algorithms that use stacks, one may also specify that both operations take the same time no matter how many items have been pushed into the stack, and that the stack uses a constant amount of storage for each element. Abstract data types are purely theoretical entities, used (among other things) to simplify the description of abstract algorithms, to classify and evaluate data structures, and to formally describe the type systems of programming languages. However, an ADT may be implemented by specific data types or data structures, in many ways and in many programming languages; or described in a formal specification language. ADTs are often implemented as modules: the module's interface declares procedures that correspond to the ADT operations, sometimes with comments that describe the constraints. This information hiding strategy allows the implementation of the module to be changed without disturbing the client programs. Abstract data types are also an important conceptual tool in object-oriented programming and design by contract methodologies for software development. The name "abstract data type" apparently was coined by researchers in software engineering and programming language design; while "abstract data structure" was coined by researchers in data structures and algorithms. beeredra kumar patel Since ADTs are theoretical concepts, there are no standard conventions for defining them. A broad division may be drawn between "imperative" and "functional" definition styles.
- Ein Abstrakter Datentyp (ADT) ist eine Sammlung von Daten, verbunden mit der Definition aller zulässigen Operationen, die auf sie zugreifen.
- 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 dada. 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 o pot fer-se mitjançant una especificació informàtica (per exemple utilitzant una interfície).
- 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žnuje vytvářet i složitější datové typy, např. operace s ADT typu zásobník, fronta a pole. Všechny ADT lze realizovat pomocí základních algoritmických operací.
- 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.
- Abstrakti tietotyyppi (abstract data type, ADT) on tyypin määrittely, joka määrittelee vain tyypin tietosisällön ja tyyppiin kuuluvat operaatiot, ei tyypin toteutustapaa. Toisin sanoen ADT määrittelee tarkalleen ja täydellisesti tyypin julkisen rajapinnan eikä mitään muuta. Esimerkiksi abstraktin tietotyypin Stack määrittely voisi kertoa mm. , että talletettavat alkiot ovat kokonaislukuja, alkion pinon päälimmäiseksi lisäävä operaatio on push ja pinon päältä alkion poistava operaatio on pop. Tietorakenteen toteutustapaan ADT ei ota mitään kantaa. ADT siis määrittelee eräänlaisen rakenneosan, jota voidaan käyttää muita ohjelmia rakennettaessa. Ohjelmoija voi (ja hänen pitääkin) kirjoittaa ohjelmansa siten, että se käyttää vain ADT:n määrittelyn mukaisia ominaisuuksia, jolloin ohjelma toimii edelleenkin vaikka esimerkiksi kokonaislukutaulukkoon perustuva pino vaihdettaisiinkin linkitettyyn listaan perustuvaksi pinoksi.
- En informatique, un type abstrait est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'elles peuvent effectuer. On qualifie d'abstrait ce type de données car il correspond à un cahier des charges qu'une structure de données doit ensuite implémenter. Notons que la plupart des types abstraits décrivent généralement des structures récursives. Les types abstraits les plus utilisés sont : pile, file, liste et arbre binaire.
- In programmazione, un tipo di dato astratto o ADT (Abstract Data Type) è un tipo di dato le cui istanze possono essere manipolate con modalità che dipendono esclusivamente dalla semantica del dato e non dalla sua implementazione. Nei linguaggi di programmazione che consentono la programmazione per tipi di dati astratti, un tipo di dati viene definito distinguendo nettamente la sua interfaccia, ovvero le operazioni che vengono fornite per la manipolazione del dato, e la sua implementazione interna, ovvero il modo in cui le informazioni di stato sono conservate e in cui le operazioni manipolano tali informazioni al fine di esibire, all'interfaccia, il comportamento desiderato. La conseguente inaccessibilità dell'implementazione viene spesso identificata con l'espressione incapsulamento . Da quanto detto fin qui si ricava che è intrinseca nel concetto di ADT l'idea che la semantica di un dato coincida con le operazioni che si possono eseguire su di esso. Dalla radicalizzazione di questa idea deriva il paradigma di programmazione della programmazione algebrica (vedi per esempio il linguaggio OBJ) in cui i tipi di dati sono completamente definiti da una descrizione algebrica delle loro operazioni. Tuttavia, il concetto di ADT, inteso come un tipo di dato che unisce una interfaccia di operazioni a una implementazione interna nascosta, ha influenzato anche paradigmi di programmazione più convenzionali, ed è alla base della stessa programmazione orientata agli oggetti, in quanto "una classe è l'implementazione di un dato astratto". Alcuni degli esempi di ADT più comuni nella letteratura riguardano alcune strutture dati come lo stack o la coda; da qui si è diffusa l'abitudine scorretta di identificare il termine ADT (che ha valenza assolutamente generale) con tali strutture dati.
- 抽象データ型(abstract data type)は、データとデータに対して行うことができる操作の集合についての記述である。このようなデータ型は様々な実装から独立しているという意味で抽象である。定義は数理的なものか、インタフェースとして記述することができる。インタフェースには、新しいデータへの抽象ハンドルを返すコンストラクタと、抽象ハンドルを引数としてとる関数（操作）が存在する。
- 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.
- Abstrakcyjny typ danych (ang. Abstract data type - ADT) jest to 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 powinna zawierać niepotrzebnych informacji. Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić: nazwę tego typu; dziedzinę; zbiór funkcji; aksjomaty; warunki początkowe.
- Em computação, o TAD (Tipo Abstrato de Dado) é 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 serão operadas em separado, sem que haja uma 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 passou a se projetar um programa então pensando que não há o nome, idade e matrícula do estudante. Mas simplesmente o tipo estudante. Este tipo, como um tipo simples (como um inteiro ou uma string) deve ter operadores próprios. Assim o estudante deve possuir operações desejáveis ao programador, como de 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: 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, maior facilidade de programação, e por consequência, aumentou a complexidade dos programas. Tornando-se fundamental em qualquer projeto de software a modelagem de seus dados previamente. Um dos problemas que são enfrentados no TAD é que ele é uma estrutura metafórica gerada pela modelagem. Porém, a nível de implementação, não há nenhuma segurança que as operações e regras de operação desejadas para este tipo sejam 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 a gerência do acesso às informações de um tipo, a herança e o polimorfismo.
- Абстра́ктный тип да́нных (АТД) — это тип данных, который предоставляет для работы с элементами этого типа определённый набор функций, а также возможность создавать элементы этого типа при помощи специальных функций. Вся внутренняя структура такого типа спрятана от разработчика программного обеспечения — в этом и заключается суть абстракции. Абстрактный тип данных определяет набор независимых от конкретной реализации типа функций для оперирования его значениями. Конкретные реализации АТД называются структурами данных. В программировании абстрактные типы данных обычно представляются в виде интерфейсов, которые скрывают соответствующие реализации типов. Программисты работают с абстрактными типами данных исключительно через их интерфейсы, поскольку реализация может в будущем измениться. Такой подход соответствует принципу инкапсуляции в объектно-ориентированном программировании. Сильной стороной этой методики является именно сокрытие реализации. Раз вовне опубликован только интерфейс, то пока структура данных поддерживает этот интерфейс, все программы, работающие с заданной структурой абстрактным типом данных, будут продолжать работать. Разработчики структур данных стараются, не меняя внешего интерфейса и семантики функций, постепенно дорабатывать реализации, улучшая алгоритмы по скорости, надежности и используемой памяти. Различие между абстрактными типами данных и структурами данных, которые реализуют абстрактные типы, можно пояснить на следующем примере. Абстрактный тип данных список может быть реализован при помощи массива или линейного списка, с использованием различных техник динамического выделения памяти. Однако каждая реализация определяет один и тот же набор функций, который должен работать одинаково (по результату, а не по скорости) для всех реализации. Абстрактные типы данных позволяют достичь модульности программных продуктов и иметь несколько альтернативных взаимозаменяемых реализаций отдельного модуля.
- 在計算中，抽象資料型別（Abstract data type，ADT）是一組資料以及相應運算的規格。如某個資料型別是抽象的，且獨立於各種具體的實作。其可用數學定義，或者可用作為程式設計中的介面。接口提供一個建構子，建新的資料時，其返回一個抽象控制代碼（handle）；且若干運算函式接受將抽象控制代碼作為參數。
|
| rdfs:comment
|
- In computing, an abstract data type or abstract data structure is a mathematical model for a certain class of data structures that have similar behavior; or for certain data types of one or more programming languages that have similar semantics. An abstract data type is defined indirectly, only by the operations that may be performed on it and by mathematical constraints on the effects of those operations.
- Ein Abstrakter Datentyp (ADT) ist eine Sammlung von Daten, verbunden mit der Definition aller zulässigen Operationen, die auf sie zugreifen.
- 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 dada. 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 o pot fer-se mitjançant una especificació informàtica (per exemple utilitzant una interfície).
- 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žnuje vytvářet i složitější datové typy, např. operace s ADT typu zásobník, fronta a pole. Všechny ADT lze realizovat pomocí základních algoritmických operací.
- 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.
- Abstrakti tietotyyppi (abstract data type, ADT) on tyypin määrittely, joka määrittelee vain tyypin tietosisällön ja tyyppiin kuuluvat operaatiot, ei tyypin toteutustapaa. Toisin sanoen ADT määrittelee tarkalleen ja täydellisesti tyypin julkisen rajapinnan eikä mitään muuta. Esimerkiksi abstraktin tietotyypin Stack määrittely voisi kertoa mm.
- En informatique, un type abstrait est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'elles peuvent effectuer. On qualifie d'abstrait ce type de données car il correspond à un cahier des charges qu'une structure de données doit ensuite implémenter. Notons que la plupart des types abstraits décrivent généralement des structures récursives. Les types abstraits les plus utilisés sont : pile, file, liste et arbre binaire.
- In programmazione, un tipo di dato astratto o ADT (Abstract Data Type) è un tipo di dato le cui istanze possono essere manipolate con modalità che dipendono esclusivamente dalla semantica del dato e non dalla sua implementazione.
- 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.
- Abstrakcyjny typ danych (ang. Abstract data type - ADT) jest to 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 powinna zawierać niepotrzebnych informacji.
- Em computação, o TAD (Tipo Abstrato de Dado) é 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.
- Абстра́ктный тип да́нных (АТД) — это тип данных, который предоставляет для работы с элементами этого типа определённый набор функций, а также возможность создавать элементы этого типа при помощи специальных функций.
- 在計算中，抽象資料型別（Abstract data type，ADT）是一組資料以及相應運算的規格。如某個資料型別是抽象的，且獨立於各種具體的實作。其可用數學定義，或者可用作為程式設計中的介面。接口提供一個建構子，建新的資料時，其返回一個抽象控制代碼（handle）；且若干運算函式接受將抽象控制代碼作為參數。
|
![[RDF Data]](/statics/sw-cube.png)
