Büchi automaton

GPTKB entity