Forskel mellem versioner af "Abstrakt datatype"

32 bytes tilføjet ,  for 8 år siden
m
→‎Definition: Tilføjet henvisning til mutabilitet
(Interwiki tilføjet.)
m (→‎Definition: Tilføjet henvisning til mutabilitet)
 
=== Imperative definitioner ===
I imperative definitioner, som i større grad lægger sig op ad [[imperativ programmering|det imperative programmeringsparadigme]], betragtes datastrukturer som ''[[mutabilitet|mutérbare]]'', hvilket vil sige at den samme mængde data kan have forskellige tilstande på forskellige tidspunkter. Nogle operationer kan ændre på datastrukturens tilstand mens andre blot aflæser den. For at understrege denne pointe kan man sige at instruktionerne ''udføres'' eller ''anvendes'' på strukturen, snarere end at de blot ''evalueres''.
 
==== Abstrakte variable ====
 
=== Funktionelle definitioner ===
En anden måde at definere abstrakte datatyper, som i større grad lægger sig op ad [[funktionel programmering|det funktionelle programmeringsparadigme]], er ved at betragte hver tilstand af sin abstrakte datastruktur som separate enheder, altså som ''[[mutabilitet|immutérbare]]''.
 
Her betragtes altså ikke instanser af data, men kun værdier som returneres af funktioner. Det funktionelle paradigme kan være nyttigt i beskrivelser af algoritmer som afhænger af rekursion, eller hvis man ønsker at bevise korrektheden af en algoritme ved [[induktion (matematik)|matematisk induktion]].