Type versnelling: Automaat