IA006 Vybrané kapitoly z teorie automatů
5. blok: Specifikace procesů, bisimulace
Studium
Shlédněte prosím tento záznam o specifikaci procesů a motivaci pro zavedení bisimulace:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2021/IA006/um/zaznamy_prednasek_2019/94694199/
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):
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2021/IA006/um/video2015/59935266/
a pokračování je přednáškou zde:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2021/IA006/um/video2015/60031672/
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=/.