Studium

K tématu: Automaty a logika (FO a MSO)

Shlédněte záznamy 3 přednášek. Neprve 1. úvod do FO a MSO logik zde:

2. následovaný vztahem MSO a KA (od FA k MSO: cesta tam a zase zpátky)

obsahující slides (prvních 15 stran, dále jen pro zájemce) zde:

a 3. zakončené příkladem "od formule k automatu" během prvních 40 minut této přednášky:

Prostudujte (velmi zdařilý) text (pokrývá celou problematiku MSO a FA):

K tématu: Automaty nad nekonečnými slovy (vč. Büchiho automatů)

Shlédněte záznamy níže uvedených přednášek.

Nejprve od 40. minuty zde:

následovaný přednáškou

a na závěr prvních cca 44 minut této přednášky:

Poznámka: v čase cca 0:44 až 01:15 je zmínka o tzv. FA s výstupem (Finte Transducers, též Finite-State Sequencial Machines), a to jejich nejznámější a nejjednodušší varianty tzv. Moor-ův stroj (Moore Machine) a Mealy-ho stroj (Mealy Machine). Následdují poznámka o vícehlavových automatech je opravdu více než stručná.

Prostudujte  text:

Cvičení

Cvičení se uskuteční 7. 1. 14:00 na adrese https://meet.google.com/cjw-fyij-hjr. Tabule je přístupná na adrese https://miro.com/app/board/o9J_lZ7E1zk=/.