FormModZh20100322

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

Elméleti kérdések

• Egy adott kifejezés szintaktikailag helyes-e CTL*-ban és CTL-ben?
• Állapottérképekben a konfliktus fogalma és a feloldás menete

ROBDD

Fel kellett írni egy f fv-t ROBDD alapján, majd egy g fv alapján felrajzolni a gráfot, végül az f ÉS g-t kellett a tanult módon felrajzolni.

KS, LTL

Volt egy kávéautomata, aminek meg volt adva KS-el az állapotai, és a hallgató, akinek programkóddal volt leírva a viselkedése. Fel kellett rajzolni a hallgató KS-ét, valamint a közös rendszerét. Végén néhány követelményt kellett megfogalmazni formálisan. Tabéómódszerrel kellett bizonyítani egy állítást.

Állapottérképek

Meg volt adva egy állapottérkép, és azon kellett megmondani a kezdőállapotokat, a tüzelhető átmeneteket, konfliktust feloldani, végül a végbemenő eseményeket sorrendben

-- sashee - 2010.03.24.