2024-11-20

AGV 5.1 -- Infinite Directed Acyclic Graph (DAG)

Notes / UdS

2024-11-19

AGV 4.2 -- Complementation of deterministic Büchi Automata

Notes / UdS

2024-11-18

AGV 4.1 -- Deterministic vs. Nondeterministic Büchi Automata

Notes / UdS

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