FormModVizsga20070613

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót

2007.06.13.

kérdések:

1. Alapfogalmak

• milyen összefüggés van a holtpontmentesség és a visszatérőség közt? (javítva)

szerintem semmi, mert lehet olyan is hogy van holtpont de van visszatérő állapot is, olyan is van hogy van holtpont de nincs visszatérő állapot. és másik irányba ugyanez elmondható.

• mi a hasonlóság és a különbség az elérhetőségi és a fedhetőségi gráf közt? (tekintettel a végtelen állapottér esetére)

fedési gárfba omegát írunk, ha egy helyen bárhány token lehet, elérhetőségiben meg a pontos számot. így előfordulhat, hogy végtelen állapottér esetén a fedési gráf korlátos, de az elérhetőségi nem korlátos.

• CTL formális szintaxisa (induktívan vagy valami ilyesmi, nem tudom ez mit jelent)

A kifejezések egymásra épülő definíciója:

Állapotokra vonatkozó kifejezések:

• • [math]p[/math] atomi kijelentés állapot kifejezés
  • ha [math]p[/math] és [math]q[/math] állapot kifejezések, akkor [math]p\wedge q[/math] és [math]\neg p[/math] is azok
  • ha [math]p[/math] útvonal kifejezés, akkor [math]Ap[/math] és [math]Ep[/math] állapot kifejezések

Útvonalakra vonatkozó kifejezések:

• • ha [math]p[/math] állapot kifejezés, akkor egyben útvonal kifejezés is
  • ha [math]p[/math] és [math]q[/math] útvonal kifejezések, akkor [math]p\wedge q[/math] és [math]\neg p[/math] is azok
  • ha [math]p[/math] és [math]q[/math] útvonal kifejezések, akkor [math]Xp[/math] és [math]pUq[/math] is azok

• gráftrafónál valami olyan hogy forall, meg loop közt mi a különbség

2. PN

színezett PN volt, hasonló a 2005 tavaszi zh 2.6-oshoz [Hát még a 2006.06.14-i vizsga 2-es feladatához hogy hasonlít... :) Csak középen vízszintesen tükrözték a hálót, minden más egyezett.]

3.PN széthajtogatása

2004.06.02. vizsga 2.3-asa úgy, hogy valamilyen leírással (nemtom hogy hívják) meg volt adva, hogy ezt a mester-checker cuccot kell megcsinálni. tehát ami a 2004.06.02. vizsga 2.3-ban meg volt adva, az volt az egyik kérdés, a széthajtogatása meg a másik.

4. Kripke stuktúra

adott egy kripke struktúra (tápellátás), meg egy (nemtom milyen) leírás. a leírásból kellett kripke-t, majd a 2 egybe + állításokat leírni LTL kifejezésekkel + tabló módszeres biz. [Szintén 2006.06.14-i vizsga, 4-es feladat, csak a számítógép leírása volt 1 picit módosítva - pl. a leállításból is ki lehetett kapcsolni. Kérdések kb. szóról-szóra megegyeznek.]

5.

ROBDD, az egyik kifejezés igazságtáblával volt adva, a másik ahogy szokott. mind2t felrajzolni + a 2 AND-jét (és annak levezetését)

[Az igazságtábla

*z*	*x*	*y*	*f*
0	0	0	0
0	0	1	0
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	1
1	1	0	0
1	1	1	1

Ebből kellett előbb döntési fát, majd ROBDD-t rajzolni, végül képletet felírni f-re. Adott volt, hogy a z,x,y változósorrendet kell használni (a g ROBDD-jének felrajzolásánál is). A g valóban a szokásos volt, vmi ilyesmi alakban: (...) ÉS (...). De lehet, h VAGY volt közöttük. Ha gyakorolni akartok, találjatok ki vmi egyszerűt, ami így néz ki :) ]

6.

gráftranszformációs móka [az adott 3 szabály alakalmazásával a lehetséges rákövetkező állapotok felrajzolása] + meg kellett állapítani, hogy sorosan függetlenek-e a transzformációk [kb. mint a 2006.06.14-i vizsga 6-osa.]

a felrajzolásnál figyelni kellett, mert az egyik szabályt 2 helyen is lehetett alkalmazni.

-- TitCar - 2007.06.13. Kiegészítette: -- Delon - 2007.06.13. és -- MadayPeter - 2007.06.23.