https://vik.wiki/index.php?action=history&feed=atom&title=FormModZh20100322FormModZh20100322 - Laptörténet2026-05-17T18:14:20ZAz oldal laptörténete a wikibenMediaWiki 1.43.8https://vik.wiki/index.php?title=FormModZh20100322&diff=137327&oldid=prevUnknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModZh20100322}} ==Elméleti kérdések== * Egy adott kifejezés szintaktikailag helyes-e CTL*-ban és CTL-ben? * Állapottérképekben a…”2012-10-21T19:58:37Z<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModZh20100322}} ==Elméleti kérdések== * Egy adott kifejezés szintaktikailag helyes-e CTL*-ban és CTL-ben? * Állapottérképekben a…”</p>
<p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModZh20100322}}<br />
<br />
==Elméleti kérdések==<br />
<br />
* Egy adott kifejezés szintaktikailag helyes-e CTL*-ban és CTL-ben?<br />
* Állapottérképekben a konfliktus fogalma és a feloldás menete<br />
<br />
==ROBDD==<br />
<br />
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.<br />
<br />
==KS, LTL==<br />
<br />
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.<br />
<br />
==Állapottérképek==<br />
<br />
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<br />
<br />
-- [[SallaiTamas|sashee]] - 2010.03.24.<br />
<br />
<br />
[[Category:Infoalap]]</div>Unknown user