2008. 06. 11. Elméleti kérdések
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
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.
(vagy a szemantika kell?)
[math] \pi \models (pUq) \quad\text{a.cs.a.}\quad \exists j: (\pi^j \models q \quad\text{valamint}\quad \forall k<j:\pi^k \models p) [/math]
Adatfolyamháló csatorna kapacitása, kapacitáskorlát, van-e értelmezve állapot a csatornán, és ha igen, mi az?
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.
-- dög - 2008.06.24.