Studium

Shlédněte prosím tento záznam o specifikaci procesů a motivaci pro zavedení bisimulace:

Prostudujte příslušnou látku o specifikaci procesů, která  je popsána v článku J.Esparza: Grammars As Processes (jen části 1 až 4)

Přednáška o bisimulaci (jen úvodní část) je zaznamenána zde (jde o přednášku z r. 2015, v r. 2019, 6.11. nezapnutý mikrofon), záznam sledujte od času cca 01:24):

a pokračování je přednáškou zde:

Text (velmi stručné slides) jsou zde:

Detailnější zpracování (spíše pro zájemce) je uvedeno zde:

Cvičení

Cvičení se uskuteční 26. 11. 14:00 na adrese https://meet.google.com/fhx-thkm-tuv. Tabule je přístupná na adrese https://miro.com/app/board/o9J_lbzCwIM=/.