Collection · 8 machines · curated by @thethinkmachine
The ω-automata zoo
All eight acceptance conditions × determinism: Büchi, co-Büchi, parity and weak, deterministic and not — and the languages that tell them apart.
The machines
Never two a's in a row
DBA · 3 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
Eventually always b
DcoBA · 2 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
Eventually always b, by priority
DPA · 2 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
Infinitely often a
NBA · 2 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Classic: eventually always b
NBA · 2 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Eventually always b, with a needless guess
NcoBA · 3 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Infinitely often a, or eventually always c
NPA · 5 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Never two a's, with a needless guess
NWA · 4 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026