omega-automaton

GPTKB entity