Rabin automaton

GPTKB entity