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]

Ezen a helyen volt linkelve a puq.GIF nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)

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.