WorksheetsFonya
Total questions: 141
Worksheet time: 1hrs 27mins
Mikor fut a tárgykód?
fordítási időben
esős időben
futási időben
Milyen eszközzel hajtjuk végre azokat a programokat, amelyeket nem kell lefordítani?
véges determinisztikus automatával
dekóderrel
értelmezővel
fordítóprogrammal
elemzőgenerátorral
Milyen információhoz fér hozzá egy JIT fordító, ami miatt esetenként hatékonyabb kódot generálhat, mint egy hagyományos fordító?
futási idejű statisztikákhoz
dinamikus szemantikához
statikus szemantikához
a bájtkódban található típusinformációkhoz
fordítási idejű elemzésekhez
Mi a fordítóprogramok elemzési lépéseinek logikai sorrendje?
lexikális, szemantikus, szintaktikus
lexikális, szintaktikus, szemantikus
szintaktikus, szemantikus, lexikális
szintaktikus, lexikális, szemantikus
Melyik állítás helyes?
A lexikális elemek a szintaktikus elemző nyelvtanának terminálisai.
A lexikális elemek a szintaktikus elemző nyelvtanának nemterminálisai.
A forrásfájl karakterei a szintaktikus elemző nyelvtanának terminálisai.
A forrásfájl karakterei a szintaktikus elemző nyelvtanának terminálisai.
A forrásfájl karakterei a szintaktikus elemző nyelvtanának nemterminálisai.
Melyik állítás helyes?
Az assembler programot assembly fordítja gépi kódra.
A magas szintű programot assembler fordítja assemblyre.
A magas szintű programot assembly fordítja assemblerre.
Az assembly programot assembler fordítja gépi kódra.
Mit használnak közösen az egyes processzek?
dinamikus könyvtárakat
statikus könyvtárakat
objectfájlokat
függőségeket
Hány tokent készít a lexikális elemző a következő függvényhívásból?
abs(x-3)
4
8
2
6
Mely állítások igazak?
A leghosszabb illeszkedés elve szerint a lexikális elemző a tokeneket hossz szerint csökkenően rendezve adja vissza.
A prioritás elvét csak akkor használjuk, ha a leghosszabban illeszkedő karaktersorozat többféle token is lehetne.
A lexikális elemző mindaddig bővíti az éppen épített tokent, amíg esély van rá, hogy valamelyik reguláris kifejezés illeszkedni fog.
A C++ lexikális elemzője a elseif szót két kulcsszóra vágja szét.
Ha a lexikális elemző egy kulcsszót talál, akkor nem vizsgálja meg a további karaktereket, mert a kulcsszavaknak magasabb a prioritása.
Mit használunk lexikális elemző implementációjához?
veremautomatákat
szintaktikuselemző-generátort
kávéautomatákat
véges determinisztikus automatákat
Milyen extra információt csatol a lexikális elemző egy azonosító szimbólumhoz?
csak a token szövegét
semmit, mert a szintaktikus elemzőnek csak a token fajtája a fontos
csak a token helyét
a token helyét és szövegét
Mikor egyértelmű egy nyelvtan?
Ha minden szintaxisfához egy szó tartozik.
Ha minden levezetéshez egy szó tartozik.
Ha levezetéskor mindig csak egy szabály alkalmazható.
Ha minden szóhoz egy szintaxisfa tartozik.
Az operátorok mely tulajdonságai fontosak szintaktikus elemzésnél?
operandusok típusa
precedencia
affinitás
asszociativitás
visszatérési típus
Melyik elemzési stratégia állítja elő legjobboldalibb levezetések inverzét?
balról jobbra elemzés
inverz elemzés
felülről lefelé elemzés
alulról felfelé elemzés
Melyek a helyes párosítások?
Alulról felfelé elemzés - LL
Felülről lefelé elemzés - LR
Felülről lefelé elemzés - LL
Alulról felfelé elemzés - LR
Miben segít az LL elemzés során az előreolvasás?
Az alkalmazandó reguláris kifejezés kiválasztásában.
Az alkalmazandó szabály kiválasztásában.
Az elemző hatékonyságának növelésében.
A léptetés és a redukció közötti döntésben.
Mely állítások igazak?
LL(3) nyelvtan esetén pontosan 3 tokent kell előreolvasni a szabály kiválasztásához, kevesebb nem elegendő.
Van olyan nyelvtan, amely semelyik k természetes számra sem LL(k) tulajdonságú.
LL(3) nyelvtan esetén biztosan nem kell 3-nál több tokent előreolvasni a szabály kiválasztásához.
Minden nyelvtan LL(1)-es.
Minden nyelvtan LL(k) tulajdonságú valamely k természetes számra.
Melyik nyelvtani szabályokhoz tartozhat az alábbi eljárás egy rekurzív leszállásos elemzőből?
void A() {
if(next == a) {
B();
} else if(next == b) {
} else {
error();
}
}
A->B|b
A->aB|b
A->a, B->b
A->B|epsilon
Mit tartalmaz az FOLLOW1(alfa) halmaz?
Az alfa felhasználó követőit a Twitteren.
Azon terminálisokat, nemterminálisokat (vagy epsilont), amelyek állhatnak az alfából induló levezetések elején.
Azon terminálisokat, nemterminálisokat (vagy # szimbólumot), amelyek állhatnak az alfából induló levezetések végén.
Azon terminálisokat (vagy # szimbólumot), amelyek az alfát követhetik a levezetésekben.
Mi történik, ha egy LR elemző redukál az A->epsilon szabály alapján?
A verem mérete nem változik.
A verem mérete eggyel csökken.
A verem mérete eggyel nő.
A->epsilon szabály alapján nem lehet redukálni.
Mi határozza meg az LR(1) elemzőtáblázatban végrehajtandó utasítást?
A verem mérete és az előreolvasott token.
A verem tetején lévő állapotsorszám és az előreolvasott token.
A szövegből olvasott tokenek száma és a verem tetején lévő szimbólum.
A verem tetején lévő állapotsorszám és szimbólum.
Az előzőleg végrehajtott utasításban szereplő szám és szimbólum.
Válassza ki az alábbiak közül a szemantikus elemzés feladatait!
Típusellenőrzés vagy típuskikövetkeztetés
Illegális karakterek kiszűrése
Hiányzó pontosvessző jelzése
Utasítások tárgykódra fordítása
Deklaráltsággal kapcsolatos ellenőrzések
Mit kell tenni a szimbólumtáblával deklaráció feldolgozásakor?
Keresni, majd törölni
Beszúrni, majd keresni
Csak beszúrni
Keresni, majd beszúrni
Melyik lehet bővebb a másiknál?
hatókör
láthatóság
Mit tárol a blokk-index vektor?
Mutatókat a programszöveg azonosítódeklarációira.
Mutatókat az azonosítók egyes használati pontjaira a programszövegben.
Mutatókat a blokkok szülő- és gyerekblokkjaira.
Mutatókat a szimbólumtábla egyes rekordjaira.
Mely állítások igazak?
Típusellenőrzés esetén a fordító találja ki a típusokat.
Típuslevezetés esetén a programozónak típusozni kell a deklarációkat.
Dinamikus típuzás esetén általában nem kell típusinformációt tárolni futási időben.
A Haskell statikus típusozású és a fordítója típuslevezetést végez.
Statikus típuzás esetén általában nem kell típusinformációt tárolni futási időben.
Mely állítások igazak?
A szintetizált attribútumok a bal oldalon állnak abban a szabályban, ahol kiszámítjuk őket.
Az örökölt attribútumok a szintaxisfában lefelé terjeszthetnek információkat.
A kitüntetett szintetizált attribútumokat akár a lexikális elemző is beállíthatja.
Az örökölt attribútumok a jobb oldalon állnak abban a szabályban, ahol kiszámítjuk őket.
Az örökölt attribútumok a bal oldalon állnak abban a szabályban, ahol kiszámítjuk őket.
Bisonban ...
... a $$-ral jelölt attribútum nem írható.
... vannak szintetizált attribútumok.
... vannak örökölt attribútumok.
... a $$-ral jelölt attribútumot kell kiszámítani az akciókban.
Mi az assembler?
Alacsonyszintű nyelvek csoportja.
Magas szintű programokat assemblyre alakító fordító.
Assemblyt gépi kódra alakító fordítóprogram.
Mekkora méretű az eax regiszter? (Az összes helyes választ jelölje be!)
16 bites
32 bites
4 bájtos
Az ax méretének kétszerese
Összesen hány bájtot definiálunk az alábbi deklarációval?
a: dd 0,1
8
4
2
16
Mely utasítások helyesek?
mov word [y],0
mov [x],edx
mov ah,bl
mov byte [u], byte [v]
mov [z],1
Mitől függ, hogy a je utasítás ugrik-e?
Attól, hogy van-e kedve.
Az eflags regiszter egyik bitjétől.
Mindenképpen ugrik.
A paraméterétől.
Mely regisztert változtatja meg a push utasítás?
edi
eax
ebp
esp
Honnan "tudja" egy függvény, hogy a sok hívási hely közül mikor melyikhez kell visszatérnie?
Az esp regiszter tárolja ezt az információt.
Az operációs rendszer tartja nyilván.
Az eip regiszter tárolja ezt az információt.
A vermen van ez az információ.
Mi a kódgenerálás feladata?
Forráskód előállítása.
Gépi kód előállítása
Assembly kód előallítása.
Tárgykód előállítása.
Mit használunk az előadásban bemutatott kódgenerálás megvalósításához?
Dízelgenerátorokat
Ad hoc módszereket
Kétszintű grammatikákat
Attribútumgrammatikákat
Melyik regiszterbe értékelik ki az előadásban bemutatott sémák a logikai kifejezéseket?
bl
ax
eax
al
Hol tárolják el időlegesen a bemutatott kódgenerálási sémák az összetett kifejezések első részkifejezésének értékét?
Az eax regiszterben
Az esp regiszterben
Dedikált változókban
A veremben
Mi a teendő a kódgenerálási sémákban található címkékkel?
A kódgenerálási sémákban nem lehetnek címkék.
A sémában látható címkék változtatás nélkül bekerülnek a generált kódba.
A séma első felhasználásakor egyedi címkéket kell generálni helyettük.
A séma minden felhasználásakor egyedi címkéket kell generálni helyettük.
Milyen utasítás zárja le a kétágú elágazás igaz ágát?
jmp
je
jne
cmp
Mi alapján generáljuk a változók tárolására használt memóriaterületek definícióját?
A generált utasítások alapján.
Nincs szükség ilyen kód generálására.
Attribútumok alapján.
A szimbólumtábla alapján.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv. Ekkor L ∩ L^-1 = ∅
Igaz
Hamis
Tekintsük a G = ( {S}, {a,b}, P, S) 3- típusú grammatikát, ahol P: S -> aaS | ba | a
Melyik a G-vel ekvivalens 3-as normálforma?
G1: S-> aA | bB | aC
A -> aS; B -> aC
C -> epszilon
G2: S-> aA | bB | B
A -> aS
B -> a
G3: S-> aA | bB | a
A -> aS; B -> aC
C -> epszilon
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ekkor G -nek van legalább egy aktív nemterminálisa.
Igaz
Hamis
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ekkor G -nek van legalább egy elérhető nemterminálisa.
Igaz
Hamis
R = (b|a)*b Hány állapotú az R reguláris kifejezéshez tartozó nyelvet felismerő minimális automata?
2
1
4
6
A = (Q, T, δ, q0, F) rendezett ötös egy véges determinisztikus automatát jelöl. Melyek az igaz állítások az automatával kapcsolatban?
Az A automata csak véges nyelvet ismerhet fel.
A Q halmaz véges.
Az automata működése mindig terminál.
Mivel az automata minden lépésben beolvas egy karaktert, ezért az üres szót nem ismerheti fel
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ekkor megadható, olyan G-vel ekvivalens G' = (N', T, P', S') grammatika, amelynek bármely u → v ∈ P' szabályára v hossza ≤ 2 teljesül.
Igaz
Hamis
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ha u → v ∈ P , akkor v hossza nagyobb vagy egyenlő, mint u hossza.
Igaz
Hamis
Mit mond ki a nagy Bar-Hillel lemma?
Elégséges feltételt a 3-as típusú nyelvekre.
Szükséges feltételt a 3-as típusú nyelvekre.
Szükséges feltételt a 2-es típusú nyelvekre.
Elégséges feltételt a 2-es típusú nyelvekre.
Melyik modulok implementálhatók teljes egészében elemzőgenerátorok segítségével?
Szintaktikus elemzés
Lexikális elemzés
Kódgenerálás
Szemantikus elemzés
Mit jelent a leghosszabb illeszkedés elve?Mindig az elemzendő szöveg soron következő karaktereire leghosszabban illeszkedő tokent választjuk.
Igaz
Hamis
Mely lexémák kerülnek a C-szerű nyelvekben eldobásra a lexikális elemzőben?
megjegyzések
szóközök
tabok
sortörések
számliterálok
Melyik igaz a global kulcsszóra NASM assemblyben?
Más forrásfájlokban definiált címkét tesz láthatóvá ebben a forrásfájlban.
A forrásfájlban definiált címkét tesz láthatóvá más forrásfájlokban.
Kezdőértékkel rendelkező memóriaterületet definiál.
Kezdőértékkel nem rendelkező memóriaterületet foglal
Az utasításokat vezeti be.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Ha L ⊆ V*, akkor { uuu | u ∈ L } = L³.
Igaz
Hamis
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Ha L ⊆ V*, akkor { uuu | u ∈ L } ⊆ L*
Igaz
Hamis
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Ha L ⊆ V*, akkor { u^n | u ∈ L, n >=0 } = L*
Igaz
Hamis
Hány tokenre tördeli egy lexikális elemző a következő C++ értékadást? ab=cd+2;
4
8
6
2
Melyik igaz?
A forráskód fordítási időben működik.
A tárgykód fordítási időben működik.
A forráskód futás időben működik.
A fordítóprogram fordítási időben működik.
Válassza ki az összes igaz állítást!
A rekurzív leszállásos elemző nyelvtantól függő részében az elágazások utasítássorozatait a FIRST és a FOLLOW halmazok segítségével határozzuk meg.
A rekurzív leszállásos elemző nyelvtantól függő részében az elágazások feltételét csak a szabály jobboldala határozza meg.
A rekurzív leszállásos elemzőben minden szabályhoz egy-egy alprogramot írunk.
A rekurzív leszállásos elemző nyelvtantól függő részében minden elágazás ág egy-egy szabályhoz tartozik, vagy hibaág.
A rekurzív leszállásos elemzőben minden nemterminálishoz egy-egy alprogramot írunk.
Mely állítások részei a C függvények hívási konvencióinak?
(több helyes van)
A paramétereket a C függvény bent hagyja a veremben.
A paramétereket fordított sorrendben kell a verembe tenni.
Az eax regiszterben tároljuk a függvény kezdőcímét.
Az ebx regiszter értéke garantáltan ugyanaz a függvényhívás előtt és után.
Melyik igaz?
A bájtkód fordítási időben keletkezik.
A java fordító kimenete a Java forráskód.
A bájtkód futási időben keletkezik.
A java fordító bemenete a bájtkód.
Válassza ki az alábbiak közül a gépi kód jellemzőit!
hardverközeli optimalizációkat tartalmaz
platformfüggetlen
platformfüggő
numerikus utasításkódokat tartalmaz
absztrakciós szintje magas
Hogyan lehet eldönteni, hogy egy környezetfüggetlen nyelvtan LR(1) tulajdonságú-e?Az alapján, hogy az elemző táblázatot kitöltő algoritmus talál-e konfliktust.
Igaz
Hamis
A gyakorlatokon használt Bison szofter...
LR elemzőt generál.
alulról felfelé elemzőt generál.
LL elemzőt generál.
felülről lefelé elemzőt generál.
rekurzív leszállásos elemzőt generál.
Melyik igaz?
Bisonban nincsenek örökölt attribútumok.
Bisonban a $$ jelöli az adott szabály attribútumainak halmazát.
Bisonban a $1 jelöli a szabály jobb oldalán az első attribútummal rendelkező szimbólum attribútumát.
Bisonban a $1 jelöli a szabály bal oldalának attribútumát.
Melyek az attribútumnyelvtanok elemei?
akciók
attribútumok
futási időben tárolt típusok
reakciók
szimbólumtábla-bejegyzések
Milyen típusú attribútumban tároljuk a generált kódot a félév során használt példa fordítóprogramban?
string
int
bool
double
Melyik utasítások nullázzák ki az eax regiszert?
xor eax,eax
sub eax,eax
mov eax,0
sub eax,0
add eax,0
Tekintsük a V={a} ábécét. Ekkor
van olyan L⊆V* nyelv, amelyre L{ ε } = { ε }.
van olyan L⊆V* nyelv, amelyre L{ ε } = L. Melyik
Mikor használjuk a szimbólumtábla beszúrás műveletét?Csak deklaráció feldolgozásakor.
Igaz
Hamis
Melyik igaz a szintetizált attribútumokra?
A szabály bal oldalán áll abban a szabályban, amelyiknek az akciója kiszámolja
A szabály jobb oldalán áll abban a szabályban, amelyiknek az akciója kiszámolja.
Terminális szimbólumokhoz tartozik, és kiszámításához nem kell más attribútum.
A = (Q, T, δ, q , F) rendezett ötöst egy véges determinisztikus automatát jelöl. Melyek az igaz állítások az automatával kapcsolatban?
A Q halmaz soha sem üres.
A δ egy kétváltozós függvény
Az A mindig végig olvassa az inputjára helyezett szót.
Az A működés közben végtelen ciklusba is kerülhet.
Az F halmaz soha sem üres.
Milyen eszközök tartoznak a lexikális elemzéshez?
Véges determinisztikus automata
Attribútumnyelvtan
Veremautomata
Környezetfüggetlen nyelvtan
Reguláris kifejezés
Milyen eszközök tartoznak a szintaktkus elemzéshez?
Környezetfüggetlen nyelvtan
Veremautomata
Reguláris kifejezés
Attribútumnyelvtan
Válassza ki az igaz állításokat!
A Java Virtuális Gép bemenete a Java forráskód.
A Java Virtuális Gép futási időben működik.
A Java Virtuális Gép kimenete a bájtkód.
A Java Virtuális Gép bemenete a bájtkód.
A Java Virtuális Gép egy értelmező.
Hogyan tokenizálja a C++ lexikális elemzője a következő karaktersorozatot?
dowhile
Két kulcsszóra bontja.
Egy azonosítót ad eredményül.
Egy kulcsszót ad eredményül.
Két azonosítót ad eredményül.
Lexikális hibát jelez.
Hogyan implementálhatunk valamely általános célú programozási nyelven egy véges determinisztikus automatát?
Táblázattal
Egymásba ágyazott elágazásokkal
Reguláris kifejezésekké alakítással
Környezetfüggetlen nyelvtanná alakítássa
Egymásba ágyazott ciklusokkal
Mi a rekurzív leszállás?A felülről lefelé elemzés egy implementációs technikája.
Igaz
Hamis
Mely állítások igazak a FOLLOW_1(A) halmazra?
Tartalmazza a # (szöveg vége jelet), ha az A-ból levezethető az üres szöveg.
Az A után a szabályjobboldalakban álló terminálisokat és nemterminálisokat tartalmazza.
Tartalmazza azokat a terminálisokat, amelyek az A után állhatnak a levezetésekben.
Tartalmazza a # (szöveg vége jelet), ha az A valamely levezetett szimbólumsorozat végén áll.
Tartalmazza azokat a terminálisokat, amelyeket az A követi valamely levezetésben.
A szimbólumtábla vermében...
felülről lefelé keresünk.
a blokk index vektor elemei által hivatkozott bejegyzések között keresünk
alulról felfelé keresünk.
sohasem történik keresés, csak beszúrás és törlés.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Ha L ⊆ V*, akkor { uv | u,v ∈ L } = L².
Igaz
Hamis
Legyen V tetszőleges ábécé. Ekkor
minden L⊆V* nyelv esetén LØ = Ø.
minden L⊆V* nyelv estén L{ ε } = L.
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika. Ha a grammatika redukált, akkor minden nemterminálisa elérhető.
Igaz
Hamis
R = (aa)*b Hány állapotú az R reguláris kifejezéshez tartozó nyelvet felismerő minimális automata?
2
4
5
8
Válassza ki a félév során implementált példa kódgenerátorra vonatkozó igaz állításokat!
A kódgenerálás során az alsó csúcsok kódjait beillesztjük a felső csúcsok kódjaiba.
Alulról felfelé haladva a szintaxisfában a generált kódok mérete nő.
Alulról felfelé haladva a szintaxisfában a generált kódok mérete csökken
A kódgenerálás során a felső csúcsok kódjait beillesztjük az alsó csúcsok kódjaiba.
Hányas grammatika típusnak felel meg az alábbi szabály?
A-> B
0
1
2
3
Mely állítások igazak az alábbiak közül?
Minden 3-as típusú grammatika egyben 1-es típusú grammatika is.
Környezetfüggetlen grammatikával leírhatók a lexikális egységek.
Chomsky normál-formára hozhatók a reguláris nyelvtanok.
Reguláris grammatikával leírható a programnyelvek szintaxisa.
Mi történik a léptetés művelet hatására?Egy terminális szimbólum az elemző vermének tetejére kerül.
Igaz
Hamis
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv. Ekkor
L⁰ nem lehet az ∅ nyelv
L⁺ nem lehet az ∅ nyelv.
Mely állítások igazak az alábbiak közül?
Minden 3-as típusú nyelv egyben 1-es típusú is.
A programozási nyelvek szemantikája megadható környezetfüggetlen grammatikával.
Van olyan nyelv, ami nem írható le grammatikával.
Minden epszilon mentes 2-es típusú grammatika egyben 1-es típusú is.
R = (ba)* Hány állapotú az R reguláris kifejezéshez tartozó nyelvet felismerő minimális automata?
2
4
5
8
Melyik állítások igazak az attribútumnyelvtanok akcióira?
A szintaxisfa bármely csúcsának attribútumát olvashatják és írhatják.
A szintaxisfa bármely csúcsának attribútumát olvashatják.
Használhatják a szimbólumtáblát.
Csak azokat az attribútumokat érik el, amelyek az akcióhoz tartozó nyelvtani szabály szimbólumaihoz tartoznak.
A = ( Z, Q, T, δ, z q , F ) rendezett hetest veremautomatának nevezzük.
Mely állítások igazak az egy vermes automatákkal kapcsolatban?
A veremautomata minden gépi ciklus elején kivesz egy jelet a veremből.
A verem automata minden lépésben olvas egy karaktert az input szalagjáról.
A Z verem ábécé lehet üres.
A veremnek véges a kapacitása.
A verem automata működése nem biztos, hogy leáll.
Hol adjuk át egy függvény aktuális paramétereit?
A veremben
Az automatában
Ciklusban
Mely tételek segítségével bizonyítható, hogy egy L nyelv nem 2-es típusú?
Kis Bar-Hillel lemma.
Thálesz tétel.
Nagy Bar-Hillel lemma.
Myhill-Nerode tétel.
Mi a szintaktikus elemző feladata?A forrásszöveg szerkezetének feltérképezése, formai helyesség ellenőrzése.
Igaz
Hamis
Mivel találkozunk jellemzően assembly programokban?
Címkék
Utasításnevek
Regiszternevek
Típusok
Bináris utasításkódok
Az attribútumértékek...
a szimbólumtábla blokk-index vektorához rendelt információk
a forrásfájlokhoz rendelt információk.
a nyelvtani szabályokhoz rendelt információk.
a szintaxisfa egyes csúcsaihoz rendelt információk.
Melyek igazak?
A blokk-index vektor elemszáma a feldolgozás alatt álló blokk mélységétől függ.
A blokk-index vektor elemei a szimbólumtábla vermébe mutató pointerek.
A blokk-index vektor elemszáma a feldolgozás alatt álló blokkban definiált változók számától függ.
A blokk-index vektor elemei a szimbólumtábla egyes bejegyzéseit tartalmazzák gyorsítótárazás céljából
Az alábbiak közül mely utasítások módosítják a futási idejű vermet?
push
call
pop
ret
cmp
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika. Ha a G grammitika rendukált, akkor lehetnek inaktív nemterminálisai.
Igaz
Hamis
Tekintsük a V ábécét. Ekkor
minden L⊆V* nyelv esetén L{ ε } = { ε }.
létezik olyan L⊆V* nyelv, amelyre L{ ε } = L.
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ekkor megadható, olyan G-vel ekvivalens G' = (N', T, P', S') grammatika, amelynek bármely u → v ∈ P' szabályára teljesül, hogy v ∈ T vagy v ∈ N .
Igaz
Hamis
Válassza ki azokat, amelyeket NEM a szemantikus elemző végez!
Vezérlési szerkezetek helyes formátumának ellenőrzése
Futási idejű hibák kiszűrése
Azonosítószimbólumok deklarációhoz kötése
Hatókörrel és láthatósággal kapcsolatos szabályok ellenőrzése
Deklarációk feldolgozása
Melyik utasítások hagyják biztosan változatlanul az al regisztert?
or al,0
and bl,al
xor al,al
or al,bl
Mi a lexikális elemző kimenete?
Tokensorozat
Bináris kód
Bool
Mit jelent a prioritás elve?Mindig a legnagyobb prioritású tokent választjuk, ha több leghosszabban illeszkedő is van.
Igaz
Hamis
Mik történnek a redukció művelet hatására az LR elemzőben?
Egy nemterminális szimbólum az elemző vermének tetejére kerül.
Egy szabályjobboldal törlésre kerül a verem tetejéről.
Egy terminális szimbólum az elemző vermének tetejére kerül.
Az elemző verme kiürül.
Az elemzett szöveg elfogy.
Mit tartalmaz a FIRST1(alfa) halmaz?
Azokat a terminálisokat tartalmazza, amelyek az alfa -ból levezethető szimbólumsorozatok elején állnak
Azokat a nemterminálisokat tartalmazza, amelyek az alfa -ból levezethető szimbólumsorozatok elején állnak
Állítás: Van olyan környezetfüggetlen nyelv, amely 1-es típusú.
Igaz
Hamis
Az alábbiak közül melyek tartoznak egy fordítóprogram alapvető feladatai közé?
Szimbólumok típushelyes használatának ellenőrzés
Forrásszöveg szimbólumokra bontása.
Elgépelt változónevek azonosítása és javítása.
Program nyelvtani szerkezetének felismerése.
Logikai hibák felismerése és javítása.
Válassza ki azokat a szabályokat, amelyek megfelelnek az 1-es típusú szabály definiciójának?
A → ε
bAb → bb
bA → bBb
BAB → BaB
A → bb
Legyen V egy tetszőleges ábécé.
Melyik állítások igazak az alábbiak közül?
Minden L⊆V* nyelv esetén L{ ε } = L.
Minden L⊆V* nyelv esetén L{ ε } = { ε }.
Létezik olyan L⊆V* nyelv, amelyre L{ ε } = { ε }.
Létezik olyan L⊆V* nyelv, amelyre L{ ε } = L.
Tekintsük a G=( {S}, {a,b}, P, S) grammatikát, ahol
P: S-> aaS | bbS | ε
Mely állítások igazak L(G)-re?
L(G) nyelv 1-es típusú.
L(G) szavai leírhatók a következő reguláris kifejezéssel (aa)*(bb)
L(G) szavaiban páros számú b van.
A G grammatika 3-as típusú.
Mely állítások igazak az alábbiak közül?
Környezetfüggetlen grammatikával leírható a programnyelvek szintaxisa.
A reguláris nyelvek családja zárt az unió műveletére.
Minden környezetfüggő grammatika Chomsky normál formájúra hozható.
Minden 3-as típusú grammatika egyben 2-es típusú is.
Legyen A = ( {p,q,r}, T, δ, {p,q}, {r} ) egy véges nemdeterminisztikus automata. Ha az A-hoz a tanult konstrukcióval elkészítjük az ekvivalens A' determinisztikus automatát, akkor hány kezdő- és hány elfogadó állapota lesz A'-nek?
Elfogadó állapot: 4
Az ε szó nem eleme L(A)-nak.
Az ε szó eleme L(A)-nak.
Kezdőállapot: 1
Kezdőállapot: 4
R = (a|b)*a
Hány állapotú az R reguláris kifejezéshez tartozó nyelvet felismerő minimális véges determinisztikus automata? (A hibaállapot is számít, ha szükség van rá.)
2
5
8
6
R = (a|b)*a Melyek igazak?
Az üres szó hozzátartozik az L(R) nyelvhez
Az üres szó nem tartozik hozzá az L(R) nyelvhez
L(R) nyelv szavai páratlan hosszúak
A = ( Z, Q, T, δ, z0, q0, F ) rendezett hetest veremautomatának nevezzük.
Mely állítások igazak az egy vermes automatákkal kapcsolatban?
Ha kiürül a verem, akkor megáll a veremautomata működése.
A verembe egy gépi ciklusban több Z beli jel is kerülhet.
A Z és a T ábécék diszjunktak
Ha F beli állapotba kerül a veremautomata, akkor megáll.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv. Ekkor az alábbiak közül melyik egyezhet meg az üres nyelvvel?
L^0
L^2
L*
L+
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Mely állítások igazak az alábbiak közül?
L* = { un | u ∈ L, n >=0 }
L2 = { uv | u,v ∈ L }
L{ ε } = { ε }
Tekintsük a G=( {S}, {a,b}, P, S) grammatikát, ahol
P: S-> aSa | bb | ε
Mely állítások igazak az alábbiak közül?
L(G) szavai leírhatók a következő R reguláris kifejezéssel. R = abba | a*
G grammatika 3-as típusú.
L(G) nyelv 1-es típusú.
L(G) nyelv 2-es típusú.
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.
Ha G minden nemterminálisa elérhető, akkor redukált a grammatika.
Ekkor G -nek van legalább egy aktív nemterminálisa.
Ekkor G -nek van legalább egy elérhető nemterminálisa.
Ha G minden nemterminálisa hasznos, akkor redukált a grammatika.
Válassza ki azokat a szabályokat, amelyek megfelelnek a Chomsky normálformának!
A → BB
S → ε, ahol S a kezdőszimbólum és nem szerepel szabály jobboldalán.
A → a
AB → a
A → aa
Mely állítások igazak az alábbiak közül?
Minden epszilon mentes 3-es típusú grammatika egyben 1-es típusú is.
A programozási nyelvek szemantikája nem adható meg környezetfüggetlen grammatikával.
Minden formális nyelv leírható grammatikával.
Minden 3-as típusú grammatika egyben 1-es típusú is.
Legyen R=ab*(a|aa) és legyen L=L(R).
Válassza ki, hogy mely reguláris kifejezéssel írhatók le az L alábbi maradéknyelvei!
Lˇa: b*a(a|ε)
Lˇaa: ε|a
Lˇab: ba|baa
Mely tétel(ek) segítségével bizonyítható, hogy egy L nyelv nem 3-as típusú.
Thálesz tétel.
Nagy Bar-Hillel lemma.
Kis Bar-Hillel lemma.
Myhill-Nerode tétel.
Mit mond ki a Myhill-Nerode tétel?
Elégséges feltételt a 2-es típusú nyelvekre.
Szükséges feltételt a 3-as típusú nyelvekre.
Szükséges feltételt a 2-es típusú nyelvekre.
Elégséges feltételt a 3-as típusú nyelvekre.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv. Ekkor az alábbiak közül melyik nem tartalmazhatja az üres szót?
L*
L0
L+ \ L*
L +
L* \ L+
Válassza ki azokat a szabályokat, amelyek megfelelnek a 3-as típusú szabály definiciójának?
A → ε
A → aB
A → bb
bA → bbB
Tekintsük a G=( {S}, {a,b}, P, S) grammatikát, ahol
P: S-> aSa | bb | ε
Mely állítások igazak L(G)-re?
L(G) nyelv 1-es típusú.
L(G) szavai nem kezdődhetnek 'b' betűvel.
G grammatika 2-es típusú.
L(G) szavai leírhatók reguláris kifejezéssel. (A "bb" előtt és után ugyanannyi 'a'-nak kell lennie, ezért ez nem reguláris nyelv.)
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.Ha u → v ∈ P , akkor v hossza>= 1
Igaz
Hamis
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.Ha G Chomsky normálformájú és egy szó hossza n, akkor 2*n-1 lépésben levezethető, ha a szó eleme L(G)-nek
Igaz
Hamis
Legyen G = (N, T, P, S) tetszőleges környezetfüggetlen grammatika.Ha G minden nemterminálisa aktív, akkor redukált a G grammatika
Igaz
Hamis
A = ( Z, Q, T, δ, z q , F ) rendezett hetest veremautomatának nevezzük.
Mely állítások igazak az egy vermes automatákkal kapcsolatban?
Ha nem ürül ki a verem egy szó végig olvasásakor, akkor a szó biztosan nem helyes.
Ha F beli állapotba kerül a veremautomata, akkor megáll.
A veremautoma egy lépésben több Z beli jelet is kiolvashat a veremből.
A Z és a T ábécék nem kell, hogy diszjunktak legyenek.
Legyen V tetszőleges ábécé és L ⊆ V* tetszőleges nyelv.
Mely állítások igazak az alábbiak közül?
{ uuu | u ∈ L } = L3.
Lˇ0 nem egyenlő az ∅ nyelvvel.
Minden L⊆V* nyelv esetén L∅ = ∅.
Válassza ki azokat a szabályokat, amelyek megfelelnek az 1-es típusú szabály definiciójának?
bAb → bBb
bAb → bb
BAB → BaB
A → a
Melyek igazak az alábbi állítások közül?
Minden LL(k) tulajdonságú grammatika egyértelmű.
Minden LR(k) tulajdonságú grammatika egyértelmű.
Csak LR(k) tulajdonságú grammatika alapján lehet szintaktikus elemzést végezni.
Csak LL(k) tulajdonságú grammatika alapján lehet szintaktikus elemzést végezni.
Adott a következő grammatika (S a kezdőszimbólum, a kisbetűs szimbólumok terminálisok, a nagybetűsek nemterminálisok):
S → a A
A → b A
A → ε
Mely szabályok (külön-külön történő) hozzáadásával veszíti el a grammatika az LL(1) tulajdonságát?
S → a
A → b
S → ε
A → a
S → A
