Excerpt
- 116 - ; € eilutė? “5 "až | 4 E Ak Į 4 N B E“. E "+ : t I PB a B / N 454 a P P P ų ži 1 b a b Vadinasi, eilutės struktūra gali būti nustatyta nevis- nareikšmiškai, Bendru atveju tai yra negalima, res nuo prog- ramos (arba jos dalies) struktūros priklauso …
Excerpt
- 111 = X— ž5 Bukonatžuosis kaišyae V Piy SD prijungsime prie gramatikos gramatiką „ Gramatikos „ ir J, buš ekvivalenčios £ "taisyklių. Gausime Raują (reiškia mūsų gramatikos 4 transformacija yra ekvivalenti). LO Saras „ Norint įrodyti dviejų gramatikų …
Excerpt
a kuriamę nors išvedimo žingsnyje. Tegul tai bus Pi AE Šį ži žingsaį pakeisimei Asp hy K > Ap šs Gauaime išvedimą, kuris yra išvedimas gramatikoje A a 2. Išorinės taisyklės pašalinimas. Turine taisykles; ; Ip y Xų - išorinė taisyklė; Xx-— Tą 3 PE - …
Excerpt
=.113-> R J k Šį fragmentą pakeisime fragmentu Po visų tokio tipo fragmentų pakeitimo gausime « Ašvedi- ' mo Aedį naujoje gramatikoje. Iaujoje gronetikoje e baik pri tuoja et išvėdimas 2. Tegul SL išvedama naujoje gėidatlisjos "Bsaut || reikalui, …
Excerpt
- Mk - Gausims ekvivalenčių granetiką. 4, Zaigyklių dekompezicija. Tegul turime taisykles; Ši, > „f 2. k £ 4099,00990> 940064414:44 000444 04644 74 44Ą096006400664444046444444 44444 ik, os Yk šas ins pakeisti taisyklėmig; — 4 = 2 V XV I Žs Sakykime turimę …
Excerpt
5 4 —2b keičiamos į. B —> 68, 4 8 —> 68, o taisyklėš : „B254 058 AŠ> 06 keišiamos į B > a 5 —b. Ekvivalenčios gramgtikų transformacijos naudojamos tuo atveju, kei norima suvesti gramatiką į tan tikrą pavį- čalą. Mūsų pavyzdyje buvo gauta grametiks, kuri …
Excerpt
E V. ALGORITMINĖ KAIBA L I 8 P Algoritminė kalba LISP naudojama simbolinės informaci- jos apdorojimui. Tipiški uždavinisi, kurie gali bžti išspręs- ti, naudojant LISP'0 kalbą, - tai formulių transformacija, teksto apdorojimas, mąstymo procesų …
Excerpt
- 117 - Pavyzdžiai. (4.11 B) i (au (BL 0) LD) Pirmajame pavyzdyje sąrašas susideda iš dviejų elementų - atomų A ir B, antrajame - iš trijų elementų - atonio 4, dąrašė (Bi; C) ir atomo D. Tarpas tarp sąrašo elementų būtinas tik tada, kai abu gratimi …
Excerpt
- 218 — Galimas :oks sąrašo pavyzdys < ( 23 Tai sąrašas, susidedz:ntis iš vieno elenrnto, kuris yra tuščias sąrašas. 2. Bazinės funkcijos LiSP'0 kalboje yra 5 bazinės funkcijos, taikomos Lk šamg. 1. car [x] Funkcijos argumentes parašyta: kvadrstiniuose …
Excerpt
- 119 = cdr [1] = 7 aax I6C 22 0) Galimos šių funkcijų kombinacijos: car [car [a 8)]] = car [65] = B car [car [car [a B c)111 =.C ; Funkcijomis car ir cd2 galima išskinti bet kurį * sąrašo elementą. Jų kombinacijoms pažymėti įvesti sutrumpinį- mai. …
Excerpt
- 120 - car [eons [x 3 7]] = cons [car[3]; cd-[7]] zyz. Apibrėšime du specialaus pavidalo atomus - T ir F. Tai dvi loginės Baiškiūtos - tiesa ir netiesa, Funkcijos, ku- “ rių reikšmės zra T arba FP, vadinamos loginėnis fžunkcijomis arba predikatais. 4. …
Excerpt
- 121 - 3. Sąlyginės išraiškos Sąlyginės išraiškos LISP'o kalboje turi pavidalą [m - 815 Po —> 62 +++š Bn—? “I , kur Pi - predikatai, £ S bazinė arba programinė (-iūr.žemiau) funkcija, vėl sąlyginė išraiška arba atomas. Sąlyginės iš- raiškos rcikšmė …
Excerpt
- 122 — 4. Programinės funkcijos 5 bazinių funkcijų ir sąlyginių išraiškų nepakanka sp- rašyti sudėtingiems apdorojimo algoritmams. Todėl kalbojs ga- lims įvesti (apibrėžti) naujas funkcijas, kurias pavadinsime programinėmis funkcijomis. Programinės …
Excerpt
- 123 - tripis[a ; (86) ; (0)] = CA B 6) G)). 3. Tolimesniuoše pavyzdžiuose naudosime funkciją null, kuri E ar argumentas yra tuščias sąrašas. nuli [x] = ca [x į NIL]. 5. Rekursyvinės funkcijos Funkcija vadinama rekursyvine, jei jos apibrėžimo iš- …
Excerpt
ABA rezultatas turi būti F (elemento x sąrašas y neturi). Prie- šingu atveju tikriname, ar x nesutanps su 1-ju y elementu. Jei taip, tai rezultatas T, Jei ne, — rėiria patikrinti, ar nėra elemento x likusioje (be 1-jo elemento) 7 dalyje. Tam tikslui …
Excerpt
“125 3. Bazinė funkcija - predikatas 64 apibrėžta tik tada, ksi ben vienss iš srgimientų yra stomas. 45i0=ė8ize funkciją ais kuri „GLA bet kokius sąrašus. egua1|x į 7| = Li — cafx 5 315 aton[y] —> P; ' egual [car[x] 3 caz[z.lJ > geg [+]; i vel) 1— PĮ …
Excerpt
A subat [e 1 XI -| =[aton [] — safe "3 > , 5 a]; 15 cons [aubat [car [+] 24 =]; subst [car [6] 2] „111. 7. Parašyti funkciją, kuri tikrina, ar atomas x yr sąraše £ „ Bąrsšo £ struktūra bet kokia. present [5 3 | s[ston (Else [2 3 =|; present [car [£1; =| > …
Excerpt
- 127 - keli būdai. 1. Paprasto sąrašo formai (Zuxužųlu 2utužu*ku Tu tu žu=3u T i Kd T) Šis sprašas turi 17 elementų. Tačiau su tokiais sąrašais sun- ku operuoti: apdorojimo algoritmai pakankamai šudėtingi. 2. Inversinė forma. ; i Lenkų matematikas …
Excerpt
- 128 - kur F — bet kurios elementarinės Zunkcijos pavadinimas. Hūsų pavyzdyje: = ——> 11 7 2 ) 2Ž--> (5 2(11 29) 22 ka > (k (52(152)) (x X (172))) šalutinai PR - 35 (- (LGA X 2)) G E (712))) itt)“ Naudosime formules inversinėje-sarašinėje forn ioje, kaip …
Excerpt
BO Funkcija | difr[P ; x] bus rekursyvinė funkcija. Kaip patiktinti, ar diferencijuojama formulė yra a sandauga ir pan. Tam tikslui pakanka paimti 1-jį S AEO elementą. Pavyz- ažiui, car[(+A8)]=+ | Formulė F gali būti trijų rūšių: a) atomas, B) sąrašas …
Excerpt
tiple[ t; cadar [3]; 2]]; są [Gaz [zl); “-> present [padas [5]; x] p šriplė [x ; E ; 8 5 triple|ix ; diet [cadar[2]; I||; tmo[[nx ; š cadr [z]]]; triplelix; caar [alų trip26 [7 į aitt įcaar [lis =]; czdr [p TO; T —> šriple |x; cadar[z]; trisle[x; triple …
Excerpt
- 131 - Čia F — diferencijuojama formulė, X — diferencijavimo kintamasis, n - išvestinės eilė. Pastaba. Gautoji išvestinės išraiška gali būti aupras- tinama, Išventinės išraiška žymiai supaprastėja, atlikus pa- keitimus LO Si. A-1 —> 4, A+0 —> 0. Galima …
Excerpt
* + - 152 - LITERATŪRA „ Uapios A.A. Teopas asropuTuos. Tpyži UAAH CCCP. AH CCCP, M. ,1954, „ HuTepupeTupyDKAS CcucTeKA A 21eueHTapaHe GyKKUKA.BIl AH CCCP, „U., 1965. 2 | CTaKjapTRHeę Tporpauus 212 SBU "Yunck-22". BuubKDc, 1971, | Aubrasas J, ESM …
Excerpt
+ 133 — Onucona."Mup", M., 1972, 16. KudepneTuuecKni c00pHKK, CG. NepeRoOjOB, "MI", M., BLn.2,1961, I7. Anropiruuveckui asHK AJTOJI-60. NlepecMOTPeRKOe CogGmenHe, "Map", M., I965,. I8. Tiankah A.B., Ne.IB vyk H.A. BIeMeHTH MATEeMATHYECKOU ANHrBMeTN- KH. …
Excerpt
TR: NT R ĮVADAS 2. 11. žIT. STANDARLINIŲ PROGRAMŲ SISTEMA „„„ennnėonannnnnakkių 1 2 Btandšrtinės programos „44444 eeane4eannanė-eeero Interpretavimo siatema „„+„.-ae44nekenena-oearao 2.1. Paeudokomandos Struktūra Easeredo seen 25 2.2. Standartinių …
Excerpt
V. ALGORITMINĖ KALBA LISP ;..1....... aa000044+3066a04344 1. Sąrašai sko sioje asa ala IA S Moka Ia 2 3 4 Bazinės Žunkcijos < …
Excerpt
NunucTepcTBO BuCmero m CHenRaXxbEOTO CpexHETO OGpA30BAKES Jnrosckoh C CP BuxsEnCcKRH opaema TpyAoBOro Kpaczoro Smauena DocymnB6pOKT6? zu. B. Kaucykaca 3 B. TYHACOBHC HATEMATHUECKOE OEFCINEUKRME 3B /ma auTOBCKOM A3HK6/ Red. I.Šalkauskienė 4 Tiražas 500 …
