2024-11-17

AGV 3.5 -- Büchi's Characterization Theorem

Notes / UdS

2024-11-16

AGV 3.4 -- Closure Properties of the Büchi-recognizable languages (Concatenations)

Notes / UdS

2024-11-15

AGV 3.3 -- Closure Properties of the Büchi-recognizable languages (Intersection and Union)

Notes / UdS

2024-11-14

AGV 3.2 -- $\omega$-regular language

Notes / UdS

2024-11-13

AGV 3.1 -- Kleene's Theorem

Notes / UdS

2024-11-12

AGV 2.3 -- The Büchi Acceptance Condition

Notes / UdS

2024-11-11

AGV 2.2 -- Automata over Infinite Words

Notes / UdS

2024-11-10

AGV 2.1 -- Büchi automata (Preliminaries)

Notes / UdS

2024-11-08

AGV 1.3 -- The Logic-Automata Connection

Notes / UdS

2024-11-07

AGV 1.2 -- Synthesis

Notes / UdS