2024-11-19

AGV 4.2 -- Complementation of deterministic Büchi Automata

UdS Notes / AGV

2024-11-18

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

UdS Notes / AGV

2024-11-17

AGV 3.5 -- Büchi's Characterization Theorem

UdS Notes / AGV

2024-11-16

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

UdS Notes / AGV

2024-11-15

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

UdS Notes / AGV

2024-11-14

AGV 3.2 -- $\omega$-regular language

UdS Notes / AGV

2024-11-13

AGV 3.1 -- Kleene's Theorem

UdS Notes / AGV

2024-11-12

AGV 2.3 -- The Büchi Acceptance Condition

UdS Notes / AGV

2024-11-11

AGV 2.2 -- Automata over Infinite Words

UdS Notes / AGV

2024-11-10

AGV 2.1 -- Büchi automata (Preliminaries)

UdS Notes / AGV