input-output automaton

GPTKB entity