A dinamikus változó Explicit utasítással ????

A függvény mely alacsonyabb szintű program egység

absztrakciója? Kifejezés
A Haskell tuple (n-es) típus milyen halmazművelettel
képezhető? Descartes szorzat
SEQ i=0 FOR 9
PAR
c!i
c?j
A következő OCCAM kód futása után I értéke Válasz: 8
A literál érték szöveges formátumban
A Smalltalk feltételes vezérlési szerkezetei A Boolean osztály üzenetiként vannak megvalósítva

A szinkronizáció Olyan módszer, amivel a folyamatokat időrendi lefutását szabályozhatjuk

Absztrakt osztály tulajdonságai Nem implementált metódust tartalmaz.
Aktuális paraméter Függvényhíváskor megadott paraméter.
Aktuális paraméter értéke Argumentum.
Az alprogramok hívásakor melyek a paraméterátadás
alapesete? Bemenő, kimenő és be-kimenő
Az alprogramok hívásakor melyek a paraméterátadás
alapesetei? Bemenő, kimenő és be-kimenő.
Az automatikus változó: Explicit utasítás kiadás nélkül jön létre és szűnik meg
Az eljárás mely alacsonyabb szintű program egység
absztrakciója Utasítás
Az Object osztály a Smalltalkban Szülő nélküli ősosztály
Az OCCAM beépített kommunikációs utasítások Biztosítják a hibamentes adatátvitelt
Az OCCAM SKIP folyamat Elindul, nem csinál semmit, befejeződik
Az OCCAM STOP folyamat Elindul, nem csinál semmit, nem fejeződik be

Blokkstruktúrált programozási nyelvben a hatáskör Azt adja meg, hogy az azonosítókra a program mely részén hivatkozhatunk
Deklaráció lehetséges fajtái Független, szekvenciális, rekurzív

Dinamikus tömb Futás közben adható meg a mérete, létrehozása után a mérete változhat.
Éhezés Nincs holtpont, egy folyamat mégsem jut hozzá az erőforrásokhoz.
Élettartam Egy változó létrehozása és megszüntetése között eltelt idő.
Erős típusosság jelentése Fordítási időben ellenőrizhető típusok
Formális paraméter Függvény fejlécében megadott paraméter.

Funkcionális nyelvek lehetséges módszerei: (Vagy:

Funkcionális nyelvek lehetséges kiértékelési módszerei)
Funkcionális nyelvekben a listákon egy lépésben végezhető
művelet
Funkcionális programozás jellemzői
Gyenge típusosság jelentése
Mohó, lusta
Az első elem kiolvasása
Utasítások helyett kifejezések, ciklus helyett rekurzió.
Futás idejű típusellenőrzés szükséges.

Haskell függvénydefiníciónál használható konstrukciók Anonim függvény, névvel ellátott függvény, rekurzív függvény.
Haskell literálok Anonim függvények.
Haskell polimorf függvény jellemzője Tetszőleges méretű Int lista adható át paraméterül.

Haskell-ben map (\x -> x+1) [-1,0,1g] kifejezés eredménye [0,1,2]

Haskellben melyik típus lehet polimorf?
Haskell-ben mi az alábbi függvény típusa?
Haskellben milyen a polimorf függvény?
Haskell-ben milyen következményei vannak a lusta
kiértékelésnek?
Haskell-ben mit jelent a polimorf típus?
Hatáskör
Heskellben milyen következményei vannak a mohó
kiértékelésnek?
Holtpont
ire használhatjuk a ++ műveletet Haskell-ben?
Lista
f [] _ = []
f (x:xs) a = ( a x) : ( f xs a)
Válasz: f :: [b] -> (b ->c) -> [c]
Egy függvénytörzs több, különböző típusú függvényt definiál
Potenciálisan végtelen adatszerkezetek használhatók.
Típusváltozó segítségével általános típuskifejezés adható meg.
A program azon része, ahol egy azonosításra hivatkozhatunk.
Nem találja meg mindig a normálformát
Folyamatok kölcsönös egymásra várakozása.
Listák összefűzésére.
 Több folyamat közül egy időben legfeljebb egy kezelheti a közösen használt
Kölcsönös kizárás erőforrást.
Olyan programrészlet, ami több folyamat között megosztott erőforrást
Kritikus szekció kezel.
Leképezéssel modellezhető összetett típusok Tömb, szótár, függvény.
Leképezéssel nem modellezhető összetett típusok Halmaz, bináris fa, rekord
Kifejezés kiértékelése közben a kifejezésben nem szereplő(külső) változó
Mellékhatás értéke is megváltozhat.
Melyek a főbb típuskonstrukciós formák? Direktszorzat, unió és rekurzív típusok
Melyik állítás hamis az eldöntendő és az általános Prolog Általános kérdés megadása csak egy hozzátartozó szabály definiálásával
kérdésekre vonatkozóan? lehetséges.
Melyik implementációs stratégia a alkalmas egy általános
célű nyelv megvalósítására? Mindegy
Melyik nem egy programozási nyelv implementációs
stratégiája? Ütemező
Mi a különbség a szinkron és az aszinkron üzenetküldés
között? Szinkronnál a folyamatok bevárják egymást, aszinkronnál a küldő nem vár.
Mi a különbség az absztrakt adattípusok és az
objektumorientáltság között? Öröklődés, példányosítás.
Milyen kategóriába tartozik az Occam nyelv? Imperatív, párhuzamos.
Milyen kategóriába tartozik az Prolog nyelv? Logikai, párhuzamos.
Milyen operátor esetén van szükség precedencia
szabályokra? infix
Milyen paraméterátadási módok léteznek? Érték szerinti, cím szerinti, eredmény szerinti
A címzett kollekció elemein végrehajtja az üzenet blokkjában található
Mire használhatjuk a collect üzenetet Smalltalk-ban? utasításokat.
Mire használható az out.string folyamat Occam-ban? Egy karaktersorozatot ir a paraméterben megadott BYTE csatornára.
Egy iterált vezérlés során tudjuk az üzenettel egy adott kollekcióhoz rendeli
Mire használjuk a collect üzenetet Smalltak-ban az elemeket ????
Mit általánosít az eljárás és a függvény? Az utasitásitásokat és az operátorokat.
Mit határoz meg a program egy adott pontjának
környezete Az elérhető azonosítók halmazát, és ezek jelentését
Mit határoz meg az adattípus? Értékkészletet, műveleteket.
Az olyan modult, amely jól definiált interfészen keresztül érhető el, és csak
Mit nevezünk zárt modulnak? változatlan formában lehet használni.
Mit takar az egy típus – egy modul kifejezés? Egy típus műveletei lehetőleg kerüljenek egy modulba
Mit tekinthetünk Haskellben függvény literálnak? Egy függvénynevet
Mivel paraméterezhetünk alprogramokat? Érték, vár,
Addig típus, alprogram,
amíg modul
valamelyik feltétel igaz nem lesz, ekkor az ehhez tartozó
Occam ALT folyamat életciklusa folyamat lefut, majd az ALT befejeződik
Occam csatornák tulajdonságai Biztonságos, szinkron, egyirányú.
Occam csatornák tulajdonságai Egyirányú, azt átvitt adat nem sérülhet.
Occam elemi folyamatai SKIP, STOP, egyszeres értékadás, input, output.
A feltételeket egymás után vizsgálja, a legelső igaz feltételhez tartozó
Occam if folyamat létciklusa folyamat lehet, majd az if befejeződik.
Occam melyik többszörös értékadás hibás? i, x[i] := 1, 2
Occam összetett folyamatai IF, SEQ, PAR, ALT
Occamban a demultiplexer megvalósításához melyik
folyamat nélkülözhetetlen? SEQ
Occamban a multiplexer megvalósításához melyik folyamat
nélkülözhetetlen? ALT
Párhuzamos programozás előnyei Sebességnövekedés, átláthatóság, természetes kifejezésmód.
Programok vezérlési módjai Imperatív, deklaratív, párhuzamos, eseményvezérelt.
Prolog adatbázis elemei Tények, szabályok.
Prolog adattípusok Termek, összetett termek.
Prolog kérdések fajtái Eldöntendő, általános.
Prolog kérdések típus Eldöntendő, általános.
Prolog következtetőrendszer Visszalépéses keresés az alapja a válaszok megtalálásának.
Prolog változók felhasználási területei Általános kérdések megadása, szabályok megadása
Prolog változók lehetséges állapotai Kötött, szabad, szabad megosztott.
Prolog változókra igaz, hogy Kötött változók újra szabaddá válhatnak visszalépés esetén

Prologban az összetett termek illeszkednek ha a funktor és a résztermek száma megegyezik és a résztermek illeszkednek
Prologban az x (A, y (B, f)) = x (f, x (A,B)) illesztés
eredménye
Prologban az x(A,t(f,g))=x(B,t(f,g)) illesztés eredménye
Prologban miért van szükséghívási mintára?
Smalltalk bináris üzenetek asszociativitása
Smalltalk blokk kiértékelése után visszaadott érték
Smalltalk értékadás
Smalltalk feltételes vezérlés
Smalltalk kulcsszavas üzenetek asszociativitása
Smalltalk metaosztály
Smalltalk nyelv típusossága
Smalltalk osztályok adattagjainak láthatósága
Smalltalk osztályok metódusainak láthatósága
Smalltalk öröklődéskor ősök száma
Smalltalk unáris üzenetek asszociativitása
Smalltalk üzenetek precedencia sorrendje
Statikus típusosság jelentése
Szemafor
Szintaxis és szemantika közötti különbség
Többszörös öröklődés
Nem illeszkedik.
Illeszkedik, A és B szabad megosztott lesz
Nem minden beépített predikátum viselkedik valódi relációként.
Balról jobbra
Blokk utolsó kifejezésének értéke.
Visszaadja a kifejezés értékét.
Boolean objektumnak küldött blokk argumentumú üzenettel valósítható
meg.
Mindig zárójelekkel ki kell jelölni a művelet sorrendjét
Osztály reprezentáns objektumának típusa.
Gyenge
Privát, objektumszintű védelemmel.
Publikus.
Egy.
Balról jobbra
Unáris, bináris, kulcsszavas.
Fordítási időben meghatározható típusok
Kölcsönös kizárás megvalósítására szolgáló eszköz.
Szintaxis: formai szabályok, szemantika: jelentés, működési szabályok.
Egy leszármazott osztálynak lehet egynél több őse.