2008. 06. 11. Elméleti kérdések forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModVizsga20080611}}


==Izomorf és homomorf gráfillesztés fogalma==

Könyv 285:)

Izomorf gráfillesztésnél G transzformáció minden csúcsa M modell különböző csúcsához illeszkedik.

==p until q formális és grafikus definíciója==

Könyv (nem form.) def: p U q: p amíg q, egy jövőbeli állapotban igaz lesz q, addig minden állapotban igaz p.<br />
(vagy a szemantika kell?)<br />
<math> \pi \models (pUq) \quad\text{a.cs.a.}\quad \exists j: (\pi^j \models q \quad\text{valamint}\quad \forall k&lt;j:\pi^k \models p) </math>

{{InLineImageLink|Infoalap|FormModVizsga20080611|puq.GIF}}

==Adatfolyamháló csatorna kapacitása, kapacitáskorlát, van-e értelmezve állapot a csatornán, és ha igen, mi az? <br />==
Az adatfolyamcsatorna egy végtelen kapacitású FIFO csatorna. Van értelmezve állapot, és ezt a tokeneloszlás szekvenciája adja meg.


-- [[SiposGergely]] - 2008.06.19.
-- [[EszenyiViktor|dög]] - 2008.06.24.


[[Category:Infoalap]]