FormModZh20100322 forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModZh20100322}}

==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

-- [[SallaiTamas|sashee]] - 2010.03.24.


[[Category:Infoalap]]