Алгоритм түсінігін қалыптастыру үшін келесі жолдар белгілі: ақырлы және ақырсыз автоматтар теориясы , предикаттарды есептеу , есептеу (рекурсивті) функциялар теориясы
Нұсқаушы айнымалысы үш күйде бола алады: Жады бөлінген қандай-да бір айнымалының адресінен тұрады Арнайы бос nil адресінен тұрады Анықталмаған күйде болады
Динамикалық айнымалылардың біркелкі корректілі бекітімдері
Динамикалық айнымалылар үймелерде программа орындалуының барысында құрылады,Динамикалық айнымалылардың өз атаулары болмайды,Динамикалық айнымалыларды жіберілетін сәйкес типтегі өлшемдерге арналған операцияларда қолдануға болады
Сыртқы деректер құрылымына: тізбекті қатынау файлдары , деректер қоры, өз еркінше қатынау файлдары
Дек – бұл деректер құрылымы, мұнда элементтерді басына да, соңына да қосуға және басынан да, соңынан да элементтерді жоюға болады
Кезек – бұл деректер құрылымы, мұнда элементтерге қатынау FIFO принципі бойынша ұйымдастырылған соңғы кіру бірінші шығу
Деректер түрі анықтайды: компьютер жадысындағы көрсетілім форматын, осы түрге жататын айнымалы немесе тұрақтыны қабылдайтын, рұқсат етілген мәндер көпмүшесі, осы түрге қолданылатын мүмкін операциялар көпмүшесі
Тек сызықты байланысқан құрылымдар: екілік байланысқан тізімдер, кезектер
