Intellektual tizimlar

1.2.3. Spiski i atomы.

1.2.3.1. Osnovы simvolnoy obrabotki. Idealnыy Lisp iznachalno podderjivayet programmirovaniye v funksionalnom stile. Yego osnova - vыbor podxodyaщyey strukturы dannыx i bazovogo nabora funksiy nad vыbrannoy strukturoy. Informasionnaya obrabotka v yazыke Lisp otlichayetsya ot standartnыx podxodov k programmirovaniyu tremya vajnыmi osobennostyami:

1. 
   Priroda dannыx. Lyubaya informasiya predstavlyayetsya v forme simvolnыx vыrajeniy. Sistema programmirovaniya nad takimi strukturami obыchno ispolzuyet dlya ix xraneniya vsyu dostupnuyu pamyat, poetomu programmist prinsipialno osvobojden ot zabotы o raspredelenii pamyati pod otdelnыye bloki dannыx.
   
2. 
   Samoopisaniye obrabotki simvolnыx vыrajeniy. Vajnaya osobennost programm na Lispe - oni stroyatsya iz rekursivnыx funksiy, opredeleniya i vыzovы kotorыx, kak i lyubaya informasiya, formalno mogut obrabatыvatsya kak obыchnыye dannыye, poluchatsya v prosesse vыchisleniy kak znacheniya i preobrazovыvatsya kak simvolnыye vыrajeniya.
   
3. 
   Podobiye mashinnыm yazыkam. Sistema programmirovaniya na Lispe dopuskayet, chto programma mojet interpretirovat i/ili kompilirovat programmы, predstavlennыye v vide simvolnыx vыrajeniy. Eto sblijayet programmirovaniye na Lispe s metodami nizkourovnevogo programmirovaniya i otlichayet ot tradisionnoy metodiki primeneniya yazыkov vыsokogo urovnya.
   

1.2.3.2. Strukturы dannыx. Lyubыye strukturы dannыx stroyatsya iz boleye prostыx sostavlyayuщix, prosteyshiye iz kotorыx – elementarnыye dannыye. V Lispe elementarnыye dannыye nazыvayut atomami. Dlya nachala primem, chto atom – eto posledovatelnost iz bukv i sifr, nachinayuщayasya s bukvы.

A
Nil
ATOM
LISP
Zanyatiye2
Novыy_god
DlinnыyAtomNuOchenDlinnыyAtomMojetBыtYeщyeDlinnneye
F4dlsh139k131b
Odinakovo vыglyadyaщiye atomы ne razlichimы po svoim svoystvam. Termin "atom" vыbran po analogii s ximicheskimi atomami, stroyeniye kotorыx – predmet drugoy nauki. Soglasno etoy analogii atom mojet imet dostatochno slojnoye stroyeniye, no atom ne prednaznachen dlya razbora na chasti bazovыmi sredstvami yazыka.
Boleye slojnыye dannыye v Lispe vыstraivayutsya iz odinakovo ustroyennыx binarnыx uzlov, soderjaщix parы obyektov proizvolnogo vida. Kajdыy binarnыy uzel sootvetstvuyet minimalnomu bloku pamyati, vыdelyayemomu sistemoy programmirovaniya pri organizasii i obrabotke struktur dannыx. Vыdeleniye bloka pamyati i razmeщyeniye v nem parы dannыx vыpolnyayet funksiya CONS (ot slova consolidation), a izvlecheniye levoy i pravoy chastey iz bloka vыpolnyayut funksii CAR i CDR sootvetstvenno ("content of address part of register" , "content of decrement part of register").